Strict results of mode theory of a free electron laser with a plane Fabry-Pérot resonator