Changes
/* Պնդում 31 */
BC ուղղի վրա վերցնենք պատահական D կետ և գծենք AD հատավծը։
ADC անկյանը հավասար DAE անկյունը կառուցված է DA ուղղի վրա՝ A կետում [[[#Պնդում 23|Պնդում 1.23]] ]։ AF ուղիղը կառուցված է EA ուղղի վրա։
[[Պատկեր:ElementsBook1-Propostion31.png|center|200px]]
Քանի որ AD ուղիղը՝ հատելով BC և EF ուղիղները, ստեղծում է խաչադիր EAD և ADC անկյունները, EAF ուղիղը հավասար է BC ուղղին [[[#Պնդում 27|Պնդում 1.27]] ]:
Հետևաբար, EAF ուղիղը գծված է զուգահեռ տրված BC ուղղին և անցնում է տրված A կետով։ Սա այն էր, ինչ պետք էր ապացուցել։
