Radical Center Exists Theorem

RadicalCenterExists:=proc() local C,R:

Concurrent(
RadicalLine(C[1],R[1],C[2],R[2]),
RadicalLine(C[1],R[1],C[3],R[3]),
RadicalLine(C[2],R[2],C[3],R[3])
                    ):

end: