theorem Th7: :: CONMETR1:7

for X being AffinPlane st X is Desarguesian holds
X is satisfying_major_Scherungssatz