>>118
すみません、>>116の式はそれを書きたかったんです。。
それで展開公式として存在する命題「(x+1)^3=x^3+3x^2+3x+1」
はその命題A「f=g」と命題B「 f(x) = g(x) for any x in D(f) = D(g) 」
どっちにあたりますか？公式なのに曖昧なんですかね？