reserve MS for OrtAfPl;
reserve MP for OrtAfSp;

theorem Th14:
  MS is Homogeneous implies MS is Desarguesian
proof
  assume MS is Homogeneous;
  then MS is satisfying_ODES by Th9;
  then MS is satisfying_DES by CONAFFM:1;
  hence thesis by Th11;
end;
