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