Completeness of a system of eigenvectors of quadratic operator sheaf in waveguide theory

The completeness of the system of eigenvectors $H_n$ of a quadratic operator sheaf that occurs in the theory of electromagnetic waveguides is proven. The completeness of another system of eigenvectors of the spectral problem of waveguide theory that was considered in another formulation that was established earlier is used in the proof.