Category:Module Theory Theorems, lemmas and corollaries