theorem Th14: :: EUCLMETR:14
for MS being OrtAfPl st MS is Homogeneous holds
MS is Desarguesian