Let(A=[0,0], B=[1,0], D=[u1,0], C=[x1,y1], E=[x2,y2], F=[x3,y3],
    G=[x4,y4], H=[x5,y5]);
MacLane8_3 := Theorem(
       [collinear(A,B,D),collinear(B,C,E),collinear(C,D,F),
        collinear(D,E,G),collinear(E,F,H),collinear(F,G,A),
        collinear(G,H,B),collinear(H,A,C)],
       [collinear(A,B,C),collinear(A,B,E),collinear(A,B,F),
        collinear(A,B,G),collinear(A,B,H)],
       [y1,x1,y2,x2,y3,x3,y4,x4,y5,x5]);
