theorem Th9: :: MOD_2:9

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