又稱“孫子定理”。1852年，英國來華傳教士偉烈亞力將《孫子算經》中“物不知數”問題的解法傳至歐洲。1874年，英國數學家馬西森指出此法符合1801年由高斯得出的關于同余式解法的一般性定理，因而西方稱之為“{1}”。