İspat yaparsak;
Noktalı ve çizgili açılar ters açıdan a+b=90 olurlar
AEBD içbükey çokgenimizde BD yi birleştirirsek ;
CBD+CDB=180-40=140 olur
Öyleyse AEBD dış bükey(BD çizdikte ) çokgenimizin açıları toplamına bakarsak;
a+b+90+140+x=360
90+90+140+x=360
140+x=180
x=40
