# Gauss Line
Let(A1 = [0, 0], A2 = [x1, 0], A3 = [x2, 0], B1 =[x5, x6], B2 = [0, x3],
    B3 = [0, x4], M1 = [x7, x8], M2 = [x9, x10], M3= [x11, x12]):
GaussLine := Theorem(
    [arbitrary(A1,A2,B2), collinear(A1,A2,A3), collinear(A1,B2,B3),
     intersection(A2,B3,B2,A3,B1), midpoint(A1,B1,M1), midpoint(A2,B2,M2),
     midpoint(A3,B3,M3)], collinear(M1,M2,M3), [x5,x6,x7,x8,x9,x10,x11,x12]);
