Prove that invariants are "except 0".

This means you get things like ▷ False ⊢ inv N P, i.e., out of ▷ False you get any invariant.