reconsider D = {(ZERO (G,H))} as GroupMorphism_DOMAIN by Th24;
take D ; :: thesis: for x being Element of D holds x is strict Morphism of G,H
thus for x being Element of D holds x is strict Morphism of G,H by TARSKI:def 1; :: thesis: verum