También se verifica que todo módulo plano es proyectivo.