prove that AB = CD (see Fig. 10.25).