A theorem concerning systems of residue classes. Sun, Z.W. — 1991 Acta Mathematica Universitatis Comenianae. New Series