＞最初は「無定義述語」だと認め
ってのはどのレスなの？
俺は926は書いたけど919は俺のレスじゃないし内容にも同意しない
自然数の冪にしろ整数の冪にしろ環として拡大するために使うものなので
ax^n・bx^m＝abx^(n+m)が成り立たないといけない。
決して相異なることを示す為だけに付いている文字じゃない。