
invariant

