spectraltheorem