for AFP being AffinPlane
for g, f1, f2 being Permutation of the carrier of AFP st AFP is translational & AFP is Fanoian & f1 is translation & f2 is translation & g = f1 * f1 & g = f2 * f2 holds
f1 = f2