// Construct hyperbolic circle c2 using Theorem 1