https://123dok.net/document/qo5l14p0-existence-of-the-spectral-gap-for-elliptic-operators.html