Es sei s1,…,sk{\displaystyle {}s_{1},\ldots ,s_{k}} ein R{\displaystyle {}R}-Modul-Erzeugendensystem von S{\displaystyle {}S} und v1,…,vn{\displaystyle {}v_{1},\ldots ,v_{n}} ein S{\displaystyle {}S}-Modul-Erzeugendensystem von M{\displaystyle {}M}. Dann bilden die Produkte sivj{\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}.