Spectral_mapping_theorem loading ...