Napoleon's Theorem

Napoleon:=proc() local A,B,C:

ItIsEquilateral(   CET(A,B)   ,   CET(B,C)   ,   CET(C,A)   ):

end: