二行めの式で一般二項係数を定義したとすると、
x=-1 は代入できないから、
三行めを示したければ、別の根拠が必要になる。
ずっと、それを尋ね続けているんだが。