reserve MS for OrtAfPl;
reserve MP for OrtAfSp;

theorem Th9:
  MS is Homogeneous iff MS is satisfying_ODES
by CONAFFM:def 4;
