The green point is the midpoint of a side of the yellow triangle. Prove the red and green points are concyclic.