Let R be a Noetherian domain and M and N be two faithful R- modules. Is it true that Ann_R(M\otimes_R N)=0?