theorem Th78: :: TRANSGEO:78

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