prove that AB = CD.