Si "e" = "e"² es un idempotente en el anillo "R", entonces "Re" es un módulo izquierdo proyectivo sobre "R".