# Steiner-Wu Theorem
Let(A=[x1,0], B=[x2,0], C=[x3,0], A1=[0,x4], B1=[0,x5], C1=[0,x6],
    P11=[x7,x8], P31=[x9,x10], P12=[x11,x12], P32=[x13,x14],
    P13=[x15,x16], P33=[x17,x18], P14=[x19,x20], P34=[x21,x22],
    P15=[x23,x24], P35=[x25,x26], P16=[x27,x28], P36=[x29,x30],
    P=[x31,x32],Q=[x33,x34]):
SteinerWu := Theorem(
    [intersection(A,B1,A1,B,P11), intersection(B,C1,B1,C,P31),
     intersection(A,C1,B1,B,P12), intersection(B,A1,C1,C,P32),
     intersection(A,A1,C1,B,P13), intersection(B,B1,A1,C,P33),
     intersection(A,A1,B1,B,P14), intersection(B,C1,A1,C,P34),
     intersection(A,C1,A1,B,P15), intersection(B,B1,C1,C,P35),
     intersection(A,B1,C1,B,P16), intersection(B,A1,B1,C,P36),
     intersection(P11,P31,P12,P32,P), intersection(P14,P34,P15,P35,Q)],
    [collinear(P,P13,P33), collinear(Q,P16,P36)],
    [x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, 
     x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34]);
