theorem Th51: :: TRANSGEO:51

for OAS being OAffinSpace
for a, b being Element of OAS
for f being Permutation of the carrier of OAS st f is dilatation & f . a = a & f . b = b & a <> b holds
f = id the carrier of OAS