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