不變式;不變量