Phát biểu định lí về hai đường thẳng phân biệt cùng song song với một đường thẳng thứ ba.