Tính chất. Nếu hai mặt phẳng phân biệt có một điểm chung thì chúng có một đường thẳng chung duy nhất chứa tất cả các điểm chung của hai mặt phẳng đó.
(Kiểm chứng tính chất này bằng cách rê kéo các điểm "dài" và "rộng" trong mô hình bên dưới)

Please install Java (version 1.4 or later) to use JavaSketchpad applets. Định lý. Nếu một đường thẳng đi qua hai điểm phân biệt của một mặt phẳng thì mọi điểm của đường thẳng đều nằm trên mặt phẳng đó. Please install Java (version 1.4 or later) to use JavaSketchpad applets. Bấm nút "quay tự đông" để cảm nhận rõ hơn về đường thẳng và mặt phẳng. Dùng chuột rê kéo các điểm dài, rộng và nghiêng trong hình trên để kiểm chứng Định lý.