https://1library.org/document/zgx5r62q-teorema-espectral-para-operadores-compactos-autoadjuntos.html