theorem Th90: :: SEMI_AF1:90

for SAS being Semi_Affine_Space
for a, b, c, d, o being Element of SAS st trap a,b,c,d,o holds
( o <> a & a <> c & c <> o ) by Th24;