theorem Th94: :: SEMI_AF1:94

for SAS being Semi_Affine_Space
for a, b, c, d being Element of SAS st trap a,b,c,d,d holds
d = b