1.滿足窮盡。