for X being AffinPlane st X is translational holds
X is satisfying_minor_Scherungssatz