theorem Th1: :: MODCAT_1:1

for R being Ring
for f being strict LModMorphism of R holds {f} is LModMorphism_DOMAIN of R