for SAS being Semi_Affine_Space
for a, b, c, o, p, q, r being Element of SAS st trap a,p,b,q,o & trap a,p,c,r,o & not o,b,c are_collinear holds
trap b,q,c,r,o by Th98;