theorem Th68: :: TRANSGEO:68

for AFS being AffinSpace
for f being Permutation of the carrier of AFS holds
( f is dilatation iff for a, b being Element of AFS holds a,b // f . a,f . b ) by Th22;