formula_10を"n"の約数の和で表すためにはこの条件が必要であり、数学的帰納法によって十分条件であることもわかる。