theorem Th9: :: EUCLMETR:9

for MS being OrtAfPl holds
( MS is Homogeneous iff MS is satisfying_ODES ) by CONAFFM:def 4;