Covering systems

../

L13_useful_supply_obstruction/: Capping each prime-power cylinder's supply at its deficit gives an explicit sufficient obstruction for all distinct nonunit-divisor profiles.

---

These claims state their own hypotheses on moduli, residues, and coverage. A constraint proved under such hypotheses, such as distinct moduli dividing a fixed integer, is not automatically a constraint on every covering system. Source theorems retain their canonical homes in the covering-systems library.