Exact construction of a common tangent to 2 circles (CAS)