Do AC // BC nên DBC^=ADB^=15 (so le trong).
Trong tam giác vuông BCD có BDC^=90∘−DBC^=90∘−15∘=75∘.
Trong tam giác vuông ABD có ABD^=90∘−ADB^=90∘−15∘=75∘.
Do đó ABD^=BDC^ mà chúng ở vị trí so le trong nên AB // DC
