The Lucas circles are tangent between them and to the circumcircle.