https://en.etudes.ru/etudes/monge-theorem/3