Подумалось: а Вы доказываете что нельзя привести к ДМТ?

Я доказываю как эквивалентность МТ и моей модели. Только начало формулирую по-другому, потому что мне эта эквивалентность не нужна, мне NP-трудность нужна. То есть говорю, что вот, сведем любую NP-полную задачу к нашей. NP-полная задача алгоритмически разрешима, значит, существует решающая ее МТ. И перевожу эту МТ в объекты моей модели, фактически, моделирую МТ в своих терминах. А в конце говорю, что так как мы взяли произвольную NP-полную и свели ее к нашей задаче, значит, наша задача NP-трудная. Вот так как-то! :)

Если жанр теоремы в Ваших палестинах редкий -- можете щегольнуть. Если теоремы не редкость -- не досаждайте общественности. Хороша или нет теорема -- специалисты поймут по формулировке. Если невмоготу хороша -- заинтересуются, да еще и отзыв напишут:)

Постскриптум. У меня в работе примерно десяток теорем -- а похвастаться ничем не могу!:)