Theorem of a Chain of Four Circles
5.cg3