次の数という概念は加法的なものだから、
乗法的な構造は自明でないわけで。