for AFP being AffinPlane
for a being Element of AFP
for f, g being Permutation of the carrier of AFP st f is translation & g is translation & not LIN a,f . a,g . a holds
f * g = g * f