Let(A=[x1,0], B=[x2,0], C=[0,x3], P=[x4,0], Q=[x5,x6], R=[x7,x8], 
    OA=[x9,x10], OB=[x11,x12], M=[x13,x14]):
Pivot := Theorem(
    [arbitrary(A,B,C), online(A,B,P), online(B,C,Q), 
     online(C,A,R), circumcenter(A,P,R,OA),
     circumcenter(B,Q,P,OB),reflection(OA,OB,P,M)], 
    oncircle(C,R,Q,M), [x6, x8, x9, x10, x11, x12, x13, x14]);
