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