OtherCeCe Definition

# In the diagram, Q=OtherCeCe(C1,C2,P) .

# The other meeting Point of two circles C1,C2 that meet at the
# Point P

OtherCeCe:=proc(C1,C2,P):

MirRefPtLe (P, Le ( Center(C1), Center(C2))):

end:

Definitions Theorems