Để chứng minh rằng toh = zot, ta sẽ sử dụng các định lý về góc đồng quy.

Gọi góc xoy là góc α và góc toh là góc β.

Theo giả thiết, ta có toh = xoy, tức là β = α.

Gọi góc zot là góc γ.

Ta cần chứng minh rằng β = γ.

Do xt và zy cắt nhau tại điểm O, nên góc xoy và góc zot là góc đồng quy.

Theo định lý góc đồng quy, nếu hai đường thẳng cắt nhau tạo ra hai góc đồng quy bằng nhau, thì hai góc đó cùng bằng một góc nào đó.

Vì β = α, và β và γ là hai góc đồng quy, nên β = γ.

Do đó, ta đã chứng minh được rằng toh = zot.