Инварианты мощные. Утверждения еще более мощные.