for FCPS being up-3-dimensional CollProjectiveSpace
for p being Element of FCPS holds
not for q, r being Element of FCPS holds p,q,r are_collinear