 The second assumption does not concern the Chinese remainder theorem in any way.It will have importance in proving that the specification for formula_4 is met eventually.It ensures that an formula_27 solution of the simultaneous congruence system
also satisfies
A stronger assumption for "m" requiring formula_31 automatically satisfies the second assumption (if we define the notation formula_20 as above).