https://123dok.net/document/zx5owg2w-properties-ring-germs-class-mathjax-formula-infty-functions.html