theorem :: SEMI_AF1:96

for SAS being Semi_Affine_Space
for a, b, c, d, o being Element of SAS st o <> b & trap a,b,c,d,o holds
trap b,a,d,c,o by Th22, Th6, Th95;