set e = the Element of M;
the Element of M is Morphism of G,H ;
hence ex b₁ being Element of M st b₁ is strict ; :: thesis: verum