Z podpunktu A:
Zauważ, że suma kątów ostrych w trójkącie prostokątnym jest równa 90 stopni. Trójkąty CDE i ABD są przystające z podpunktu a, więc kąt ADC również ma 90 stopni.