invariant

(1)