Trong tam giác ABC ta có: ACB^=180∘−A^−B^=180∘−120∘=60∘
Do đó ACy^=180∘−ACB^=180∘−60∘=120∘
Vì Cx là tia phân giác của ACy^ nên C1^=C2^=60∘
Suy ra B^=C1^, mà chúng ở vị trí đồng vị nên Cx // AB.