https://123dok.net/document/q5mjvogy-auxiliary-functions-in-transcendence-proofs.html