- Ta có: AB thuộc (SAB)
CD thuộc (SCD)
Mà AB // CD, S là điểm chung của hai mặt phẳng (SAB) và (SCD).
Từ S kẻ Sx sao cho Sx // AB // CD.
Vậy Sx là giao tuyến của hai mặt phẳng (SAB) và (SCD).
- Tương tự ta có: Sy là giao tuyến của hai mặt phẳng (SAD) và (SBC) sao cho Sy // AD // BC.