Usando una base de un módulo libre F, es fácil ver que si nos dan un homomorfismo sobreyectivo del módulo N a M, la función correspondiente de Hom(F, N) a Hom(F, M) es también sobreyectiva (es de un producto de copias de N a un producto con los mismos índices para M).