>688
＞（自然数n,mに対してn=2m が成り立っている）場合は
＞「nが6の倍数　のとき　mは3の倍数　である」も正しいでしょうか？

はい、正しいです。

すみませんが、結論を書いていただけないでしょうか。