(a ,b)=U (a_alpha, b_alpha) 를 증명하시오.

(단 a:=glb{a_alpha}, b:=lub{b_alpha}, a는 finite이고, b 는 무한이라고 가정,

그리고 모든 alpha에 대하여 구간 (a_alpha, b_alpha)는 L을 포함한다.)