Modulo Factorization Theorem

Let be the factorization of N into pair-wise co-prime factors. Then the congruence is equivalent to the following system of equations: