Then, since a straight line EF touches the circle ABC,
and BC has been drawn across from the point of contact at B,
the angle FBC is equal to the angle constructed in the alternate segment BAC. [III. 32]
But the angle FBC is equal to the angle at D;
therefore the angle in the segment BAC is equal to the angle at D.