>>74

> いま、aを3の倍数として、a=3kとすれば、
から
> a自身も3の倍数でなければならない。
がおかしい。ここは>73で証明したその証明を使う。それ以降はOK。