>658
（自然数n,mに対してn=2m が成り立っている）
「nが6の倍数　のとき　mは3の倍数　である」と、
「nが6の倍数　ならば　mは3の倍数　である」は、同じでしょうか？