F, canGFDistinction F are_isomorphic by Th42, Th87;
hence not canGFDistinction F is loopless by Th48; :: thesis: verum