初等数论,除数函数推倒,