Puede demostrarse que las ecuaciones se cumplen para todo formula_3 usando congruencias y el teorema chino del resto.