倍数であることの証明 数学的帰納法