Chứng minh:
Ta có a⊥c suy ra A1^=90∘ và b⊥c suy ra B1^=90∘. Vậy A1^=B1^
Mà hai góc A1^,B1^ là hai hóc đồng vị, suy ra a//b.