big versions of CRT, Lucas' theorem for n choose k mod p