>>23
連続4整数の積は8の倍数になってるから実はもう証明してる。