We prove the join-substitution property: if x ≤ y and x ≡ y (mod δ), then
(1)