. . . "-projective finite-dimensional module, and either M is a reduced module or A is a simple Artinian ring." .