数论 定理 函数 笔记