in particular, pmod alters the data from the nimbus7/erb record from 1989 to 1991.
in particular, pmod alters the data from the nimbus7/erb record from 1989 to 1991.
chinese remainder theorem:113
however, the two other versions make sense over a principal ideal domain r: it suffices to replace "integer" by "element of the domain" and z {\displaystyle \mathbb {z} } by r. these two versions of the theorem are true in this context, because the proofs (except for the first existence proof), are based on euclid's lemma and bézout's identity, which are true over every principal domain.