>>492
wが整数であるという仮定が誤りなので、その前に仮定した「tはcの倍数でない」ことを否定するための推論が正しくできていません。
よって、「tはcの倍数であることが必要」を結論している部分も誤りとなります。