1534

The green shape is a parallelogram. Prove the red points are concyclic.