2 invariant: 불변치값