Theorem of a Chain of Four Circles Under Poincare's Model
Euclidean Case