初等数论里一个简单而重要的定理。

A typical problem of constraints satisfaction.

A technique of computation.