Chinese remainder theorem
The proof of the "β" function lemma makes use of the Chinese remainder theorem.