osmos, это моя теорема, мною доказанная, но ее доказательство является техническим, известным приемом для доказательства аналогичных теорем. Теорема о том, что поставленная мной задача является NP-трудной. Она не является ключевой в диссертации, ключевая - модель для решения задачи. Но теорема важная... Вот.