theorem Th102: :: SEMI_AF1:102

for SAS being Semi_Affine_Space ex x, y, z being Element of SAS st
( x <> y & y <> z & z <> x )