F, canGFDistinction (F,z) are_Disomorphic by Th105;
hence canGFDistinction (F,z) is non-Dmulti by Th49; :: thesis: verum