for P being Element of BK_model ex P1, P2 being Element of absolute st
( P1 <> P2 & P1,P,P2 are_collinear )