https://1library.org/ru/docs/constructive-nonsmooth-analysis-and-related-topics.436439