>>466
条件付きではあるが、log(a_1) ,…, log(a_n) が有理数体 Q 上線型従属でも
(a_1)^{b_1}・…・(a_n)^{b_n} の超越性を判定する定理は見出せた。
だが、証明の行数を数えたら110行近くになったから、ここに書くのは止める。
まあ、記号を用いてどこまで簡略化して短く出来るかはまだ分からないが、言葉で書くと110位はかかる。
そのままここに書くと5連投か6連投位になる。

>>471
西岡久美子氏の「微分体の理論」の序文でも、久美子氏は啓二氏を啓二って呼び捨てにして書いていること
からも、西岡啓二氏、久美子氏、斉治君が一家なのは間違いないと思う。