Theory of a frequency-step-tunable gyrotron for optimum plasma ECRH