模板:數論演算法