>695
>①'自然数n,mに対してn=2m が成り立っている
>「nが6の倍数　のとき　mは3の倍数　である」
>よってn,mは両方とも3の倍数である。
n=2mは成り立っていますが、結局n,mがそれぞれ3の倍数かどうかはわからないままです。

は、正しいでしょうか？