Hãy phát biểu một định lí toán học ở dạng mệnh đề kéo theo P ⇒ Q

Có nhiều định lý toán học được phát biểu dưới dạng mệnh đề kéo theo, chẳng hạn:

+ P ⇒ Q: “Nếu tứ giác ABCD có tổng số đo hai góc đối diện bằng 180° thì ABCD là tứ giác nội tiếp đường tròn”.

Trong đó, P: “Tứ giác ABCD có tổng số đo hai góc đối diện bằng 180°”; Q: “ABCD là tứ giác nội tiếp đường tròn”.

+ P ⇒ Q: “Nếu a // m và b // m thì a // b”. (a, b, m là các đường thẳng phân biệt)

Trong đó: P: “a // m và b // m” và Q: “a // b”.

…

Em có thể chọn 1 định lí để trả lời câu hỏi.