Eigenwaves in Waveguides with Dielectric Inclusions: Completeness

We formulate the definition of eigenwaves and associated waves in a nonhomogeneously filled waveguide using the system of eigenvectors and associated vectors of a pencil and prove its double completeness with a finite defect or without a defect. Then we prove the completeness of the system of transversal components of eigenwaves and associated waves as well as the `minimality' of this system and show that this system is generally not a Schauder basis.