invariant.v 8.99 KB