Theory of Saturation in Electron Spin Resonance Spectra