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