Ta có HKy^+yKz^=180∘ (hai góc kề bù) hay 130∘+yKz^=180∘, do đó yKz^=180∘−130∘.
Suy ra yKz^=50∘.
Ta có yKz^=KHx^(=50∘).
Hai góc này ở vị trí đồng vị nên Ky // Hx (dấu hiệu nhân biết hai đường thẳng song song0.