Lấy điểm O tùy ý:
Qua O vẽ 9 đường thẳng 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à 3600 do đó ít nhất phải 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.