F, canGFDistinction (F,z) are_isomorphic by Th42, Th105;
hence not canGFDistinction (F,z) is edgeless by Th48; :: thesis: verum