>>357
どうも。スレ主です。
私は、ここら素人以前ですが、ベイカーの定理の系３（下記）が、おっちゃんの命題に近くないか？（＾＾；
https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%AB%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86
(抜粋)
ベイカーの定理 (ベイカーのていり、英: Baker's theorem) とは、1966年-1968年にかけて、アラン・ベイカーによって発表された、対数関数の一次形式に対する線形独立性、および下界の評価に関する一連の定理のことである。 下界の評価が計算可能であることから、数論の様々な分野で応用されている。

定理の主張[編集]
定理1 (対数関数の一次形式の線形独立性)
α1,・・・,αnを 0 ではない代数的数とする。もし、 log α1,・・・,log αnが有理数体上線形独立であるならば、1, log α1,・・・,log αn は、代数的数体上線形独立である。

定理からの派生的な結果

系3　 α1,・・・,αnを 0 でも 1 でもない代数的数とする。また、 β1,・・・,βnを、 1, β1,・・・,βnが、有理数上線形独立な代数的数としたとき、
α1^β1・・・,αn^βn
は、超越数である。