https://9dok.org/document/y6e08v6n-on-discreteness-of-spectrum-second-order-differential-operator.html