We prove in ZFC that if G is a (right) R-module such that the groups
\HomR(∏i∈IGi,G) and ∏i∈I\HomR(Gi,G) are naturally
isomorphic for all families of R-modules (Gi)i∈I then G=0. The
result is valid even we restrict to families such that Gi≅G for all
i∈I.