>627
n=2mは成り立っていますが、結局n,mがそれぞれ3の倍数かどうかはわからないままです。

>①'自然数n,mに対してn=2m が成り立っている
>「nが6の倍数　ならば　mは3の倍数　である」

なので、n=6ではないのでしょうか？