If and
Then (a+b) mod n ((a1 + b1) mod n1, , (ak + bk) mod nk) (a-b) mod n ((a1 - b1) mod n1, , (ak - bk) mod nk) ab mod n (a1 b1 mod n1, , ak bk mod nk).
From (a mod ni, , a mod nk)
From for i = 1, , k (mod n)