H
E
E
L
E
M
E
N
T
S
the opposite angles of quadrilaterals in circles are equal to two right angles, [III.22]
while
the angle ABC is less than a right angle,
therefore
the angle ADC which remains is greater than a right angle;
and
it is the angle in the segment ADC less than the semicircle.
And again being what it was required to prove.
