https://1library.org/document/8yde7jqp-simple-eigenvectors-unbounded-operators-type-normal-plus-compact.html