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