let MS be OrtAfPl; :: thesis: ( MS is Homogeneous implies MS is Desarguesian )
assume MS is Homogeneous ; :: thesis: MS is Desarguesian
then MS is satisfying_ODES by Th9;
then MS is satisfying_DES by CONAFFM:1;
hence MS is Desarguesian by Th11; :: thesis: verum