Es sei s 1 , … , s k {\displaystyle {}s_{1},\ldots ,s_{k}} ein R {\displaystyle {}R} -Modul-Erzeugendensystem von S {\displaystyle {}S} und v 1 , … , v n {\displaystyle {}v_{1},\ldots ,v_{n}} ein S {\displaystyle {}S} -Modul-Erzeugendensystem von M {\displaystyle {}M} . Dann bilden die Produkte s i v j {\displaystyle {}s_{i}v_{j}} , 1 ≤ i ≤ k {\displaystyle {}1\leq i\leq k} , 1 ≤ j ≤ n {\displaystyle {}1\leq j\leq n} , ein R {\displaystyle {}R} -Modul-Erzeugendensystem von M {\displaystyle {}M} .