Invariant

Please take a look