S. Then U is a maximal submodule of M which does not contain Rad M. The contradiction proves the proposition. D We also need the following information about radicals of modules over algebras.