assume [A,B,C] : (point(A) & point(B) & point(C) & ncol(A,B,C))
have (A!=B & B!=C & C!=A)

