// Construct hyperbolic circle c1 using Theorem 4