Let $L$ be a first order language. Suppose that $M$ is an $L-$structure and $|M|$ is

countably infinite. Prove that there exists an $L$ structure $N$ such that $N-=M$ and

$MN.$