theorem Th25: :: SEMI_AF1:25

for SAS being Semi_Affine_Space
for p, q being Element of SAS st p <> q holds
ex r being Element of SAS st not p,q,r are_collinear