中国の剰余定理
The proof of the "β" function lemma makes use of the Chinese remainder theorem.