theorem Th15: :: EUCLMETR:15

for MS being OrtAfPl st MS is Euclidean & MS is Desarguesian holds
MS is Pappian