invariants.v 5.26 KB