餘不變式