https://123dok.net/document/nzw6837y-on-diffeomorphism-extension.html