for R being Ring
for F being LModMorphism of R ex G, H being LeftMod of R st F is Morphism of G,H