>>201-205
おっちゃん、どうも、スレ主です。
まあ、いつもながら、おっちゃんらしいわ（＾＾

細かいけど
（>>167より）
「>[命題]：任意の正の超越数xと、任意の 正かつy≠1 なる代数的数 y∈R に対して、log_(x|y|) は無理数である。
> 　　（注：ここに、log_(x|y|)は、eを底とする自然対数、|y|はyの絶対値、x|y|はxと|y|の積を表すとする）
スレ主が書いた log_(x|y|) を log(x|y|) と好意的に解釈することにする。」

”好意的に”？
それ定義しているでしょ？（＾＾
で、自分は定義書き漏らしていたでしょ？

”log_”なんて、書き方は、
この５ｃH（旧２ｃH）特有の事情（アスキー縛り）なんだから
おっちゃんと会話していると、その倒錯した話で、頭がくらくらするよ（＾＾