MS is Desarguesian by Th14;
hence Af MS is Desarguesian ; :: thesis: verum