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