The blue point is the centroid of the blue triangle. The green point is the centroid of the green triangle. Prove the red and green points are concyclic.