Counterexample

The collection of points

> restart:

> A:=[0,0];B:=[1,0];C:=[0,alpha];DD:=[infinity , 0] ; EE:=[-3*alpha+1,-1];F:=[-2*alpha,alpha]; G:=[2,-1]; H:=[0,1];

A := [0, 0]

B := [1, 0]

C := [0, 1/3*I*sqrt(3)]

DD := [infinity, 0]

EE := [-I*sqrt(3)+1, -1]

F := [-2/3*I*sqrt(3), 1/3*I*sqrt(3)]

G := [2, -1]

H := [0, 1]

> alpha:=I/sqrt(3);

alpha := 1/3*I*sqrt(3)

> with(linalg):matrix(3,3,[1,F[1],F[2],1,H[1],H[2],1,EE[1],EE[2]]);

Warning, the protected names norm and trace have been redefined and unprotected

matrix([[1, -2/3*I*sqrt(3), 1/3*I*sqrt(3)], [1, 0, ...

> L1:=det(%);

L1 := 0

> matrix(3,3,[1,B[1],B[2],1,C[1],C[2],1,EE[1],EE[2]]);

matrix([[1, 1, 0], [1, 0, 1/3*I*sqrt(3)], [1, -I*sq...

> L2:=det(%);

L2 := 0

> matrix(3,3,[1,F[1],F[2],1,G[1],G[2],1,A[1],A[2]]);

matrix([[1, -2/3*I*sqrt(3), 1/3*I*sqrt(3)], [1, 2, ...

> L3:=det(%);

L3 := 0

>

>

verify the hypothesis but not the conclusion of Maclane's theorem.