Phát biểu và viết giả thiết kết luận của định lí được minh họa bởi hình vẽ dưới đây.

Phát biểu: Nếu một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng kia.

GT	a // b, c ⊥ a
KL	c ⊥ b