theorem Th69: :: TRANSGEO:69

for AFS being AffinSpace holds id the carrier of AFS is dilatation