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