for SAS being Semi_Affine_Space
for a, b, c, o, x, y being Element of SAS st trap a,b,c,x,o & trap a,b,c,y,o holds
x = y by Th34;