The second equality holds since the triangle ABC is isosceles, the third by reflection,
and the fourth since D is an interior point of the segment BC. Now according
to Euclid’s fifth postulate the rays k and h meet in a point E. By the properties of
reflection it is obvious that this intersection point E must lie on the ray BC outside
the segment BC.