>>140は「nが自然数と限定されていて任意の値をとれないので恒等式にはならない」でいいんですか?