theorem Th10: :: CONMETR1:10

for X being AffinPlane holds
( X is Pappian iff X is satisfying_major_indirect_Scherungssatz )