theorem Th6: :: CONMETR1:6

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