Cho định lí có giả thiết và kết luận dưới đây. Phát biểu định lí bằng lời

Qua một điểm ở ngoài một đường thẳng có 2 đường thẳng song song với đường thẳng đó;

Hai đường thẳng cùng song song với một đường thẳng thì chúng trùng nhau;

Qua một điểm ở ngoài một đường thẳng chỉ có một đường thẳng song song với đường thẳng đó;

Hai đường thẳng cùng song song với một đường thẳng thì chúng song song với nhau.