なぜならばformula_17は10の倍数であるからだ、あるいは同じことだが、formula_13とformula_14はどちらもformula_15で割ったときにformula_21余るからである。