个关于一元线性同余方程组的定理，说明了一元线性同余方程组有解的准则以及求解方法。也称为孙子定理，古有「韩信点兵」、「孙子定理」、「求一术」（宋 沈括）、「鬼谷算」（宋 周密）、「隔zh-cn:墻;zh-tw:墙;算」（宋 周密）、「剪管术」（宋杨辉）、「秦王暗点兵」、「物不知数」之名。
物不知数.一元线性同余方程组问题最早可见于中国南北朝时期（公元5世纪）的数学着作《孙子算经》卷下第二十六题，叫做“物不知数”问题，原文如下：即，一个整数除以三-{zh-cn:余;zh-