# Gauss Point
Let(O=[0,0], A=[x1,0], B=[x2,0], C=[x3,0], A1=[0,x4], B1=[0,x5], C1=[0,x6],
    M1=[x7,x8], L1=[x9,x10], M2=[x11,x12], L2=[x13,x14], M3=[x15,x16],
    L3=[x17,x18], G=[x19,x20], F=[x21,x22], M4=[x23,x24], L4=[x25,x26],
    M5=[x27,x28], L5=[x29,x30]);
GaussPoint := Theorem(
    [midpoint(A,A1,M1), midpoint(C,C1,L1), midpoint(A,B1,M2),
     midpoint(B,C1,L2), midpoint(B,A1,M3), midpoint(C,B1,L3),
     intersection(A,C1,A1,C,G), intersection(A,C1,B1,B,F),
     midpoint(F,A1,M4), midpoint(G,B1,L4), midpoint(F,C,M5),
     midpoint(G,B,L5)], [concurrent(M1,L1,M2,L2,M5,L5),
     concurrent(M1,L1,M2,L2,M3,L3), concurrent(M1,L1,M2,L2,M4,L4)],
    ['cat(x,i)'$'i'=7..30]);
