Menelaus' theorem

The proof is peace of cake.

Considering the path of A, B, C, P, Q, and R, that is A>[R]>B>[P]>C>[Q]>A.

(where [*] represents dividing points.)

Therefore we can understand alternating between vertexes and dividing points.