欧几里得&卢卡斯定理&中国剩余定理&扩展