>>292より、11と13の倍数判定も同じようにできる。
11はもっと楽な方法があるが。