let AP be AffinPlane; :: thesis: ( AP is Moufangian implies AP is translational )
assume AP is Moufangian ; :: thesis: AP is translational
then AP is satisfying_des_1 by Th17, Th27;
hence AP is translational by Th21; :: thesis: verum