1778

Prove the red points are collinear.