Commuting_Hermitian.Spectral_Theory_Complements