Invariant

1 2