Хотя... может быть вы создали его именно для той области, где нет решений...
Не думали об этом?
Я, правда, не понимаю, почему возникает необходимость рассматривать вариант с дробными показателями степеней.
Доказательство БТФ для 1 Случая БТФ.
Получив доказательство для 2 Случая БТФ, для доказательства 1 Случая БТФ остаётся только показать, что любое

, полученное при анализе 1 Случая БТФ, может быть также получено и при анализе 2 Случая БТФ.
А для этого достаточно эту величину умножить на

, а затем на разность оснований

степеней

и

, удовлетворяющую условиям 2 Случая БТФ.
Выбрав

, и определив

, как

обеспечиваем основания искомых степеней.
И потому, что

для 2 Случая БТФ не может быть степенью с целочисленным основанием, это справедливо и для 1 Случая БТФ.
Итак, и для второго Случая БТФ, и для 1 Случая БТФ установлено,

,а так как
является обязательным условием для
утверждение БТФ справедливо, что и требовалось доказать.