1318

The gray shape is a rectangle. Prove the red points are collinear.