theorem Th88: :: SEMI_AF1:88

for SAS being Semi_Affine_Space
for a, b, o being Element of SAS holds o, diff (b,a,o) // a,b