then prove that AB = CD.