>652
それは真ですよ。

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