7.5.2 Completeness of spectrum

This section contains the following subsections.