for P, Q, R being Element of absolute st P,Q,R are_mutually_distinct holds
not P,Q,R are_collinear