! [A,B] : (point(A) & point(B) & A != B)
? [K1] : (circle(K1) & center(A,K1) & onc(B,K1))
? [K2] : (circle(K2) & center(B,K2) & onc(A,K2))
? [C] : (point(C) & onc(C,K1) & onc(C,K2) & intersectscc(K1,K2))
(cong(A,B,A,C))
(cong(B,A,B,C))
(cong(A,B,B,C) & cong(B,C,C,A))
