2{\bf N} \subseteq {\bf N}