The sum of the green light segments equals the blue line segment. Prove the red and yellow points are concyclic.