0は0の倍数で合ってると思うけど
bは0でないなんて制限あったっけ?