Позначка: invariant