theorem
  for f being strict Morphism of G,H holds {f} is LModMorphism_DOMAIN of G,H
proof
  let f be strict Morphism of G,H;
  for x being Element of {f} holds x is strict Morphism of G,H by TARSKI:def 1;
  hence thesis by Th2;
end;
