for SAS being Semi_Affine_Space
for a, b, d being Element of SAS st not a,b // a,d holds
( a <> b & b <> d & d <> a ) by Def1, Th1, Th3;