正整数 原函数 当且仅当 同余关系式 推广 试题 素数 欧拉函数 上证指数 经济生活 小数点 不定积分 定理 负整数 自然数