Оптимизм? - Вы же понимаете, что судьбу вашей теоремы определяет решение ВТФ. Это не теорема, - это логическая уловка для тех, кому достаточно вместо расчётов одних фраз.