F, canGFDistinction F are_Disomorphic by Th87;
hence not canGFDistinction F is non-Dmulti by Th49; :: thesis: verum