Let(A=[0,0], B=[1,0], C=[u1,u2], C1=[x1,x2], B1=[x3,x4], A1=[x5,x6]):
Napoleon := Theorem(
    [equidistance(A,C1,B,C1), sdistance(C1,A,B)-t*sdistance(A,B),
     equidistance(C,B1,A,B1), sdistance(B1,C,A)-t*sdistance(C,A),
     equidistance(B,A1,C,A1), sdistance(A1,B,C)-t*sdistance(B,C),
     12*t-1], [equidistance(A1,B1,A1,C1), equidistance(A1,B1,B1,C1)],
    [t,x1,x2,x3,x4,x5,x6] );
