theorem :: TRANSGEO:81

for AFS being AffinSpace holds id the carrier of AFS is translation by Th69;