theorem Th103: :: SEMI_AF1:103

for SAS being Semi_Affine_Space
for o, p being Element of SAS st qtrap o,p holds
o <> p