cat crtheorem
Let p, q, and r be three mutually prime numbers.
Let     m = p * q * r
        i * i( m / p % p , p )  where i(x,y) represents the modular inverse of
                                x modulo y
        j = i( m / q % q , q )
        k = i( m / r % r , r )
        a = i * m / p
        b = j * m / q
        c = k * m / r
if      w = a * x + b * y + c * z
then    x = w % p
        y = w % q
        z = w % r
$