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

n=2mに、n=6を代入すると、m=3となります。