MS is Desarguesian by Th14;
hence AffinStruct(# the carrier of MS, the CONGR of MS #) is Desarguesian ; :: thesis: verum