https://123dok.net/document/q5mpnkoj-separation-results-on-the-one-more-computational-problems.html