https://5dok.net/document/7qvp2rgq-compressions-adjoint-extensions-symmetric-operator-krein-resolvent-formula.html