A simple characterization of disjoint covering systems

A simple necessary and sufficient condition for a system of arithmetic sequences to cover the set of all integers is given.