1309

Prove the centers of the red circles lie on the yellow circle.