Qua O vẽ 9 đường thẳng lần lượt song song với 9 đường thẳng đã cho. 9 đường thẳng qua O tạo thành 18 góc không có điểm trong chung, mỗi góc này tương ứng bằng góc giữa hai đường thẳng trong số 9 đương thẳng đã cho.
Tổng số đo của 18 góc đỉnh O là 3600do đó ít nhất có 1 góc không nhỏ hơn 3600: 18 = 200, từ đó suy ra ít nhất cũng có hai đường thẳng mà góc nhọn giữa chúng không nhỏ hơn 200.
