En línea con la intuición antedicha de "localmente libre = proyectivo" está el teorema siguiente, debido a Kaplansky: sobre un anillo local "R", cada módulo proyectivo es libre.