https://9lib.org/document/q05x9njx-xn-exists-solution-s-non-negative-integers-greater.html