Để chứng minh rằng hai đường thẳng EF và CB là song song, ta có thể sử dụng định lý Menelaus và định lý Ceva trong tam giác ABC. Định lý Menelaus: Cho tam giác ABC và một đường thẳng đi qua ba đỉnh của tam giác. Nếu ta chia đường thẳng đó thành các đoạn thẳng tương ứng với các cạnh của tam giác, thì tích của các tỉ số đoạn thẳng sẽ bằng 1 khi và chỉ khi ba đỉnh của tam giác nằm trên cùng một đường thẳng. Định lý Ceva: Cho tam giác ABC và ba điểm M, N, P lần lượt trên các cạnh BC, CA, AB sao cho các đường thẳng AM, BN, CP cắt nhau tại một điểm O bất kỳ bên trong tam giác. Khi đó, ta có AM/MB * BN/NC * CP/PA = 1. Áp dụng các định lý trên vào tam giác ABC với đường thẳng EF đi qua các đỉnh A, B, C, ta có thể chứng minh rằng EF // CB.