すごーく好意的に解釈すれば
・nとpの満たすべき式が出てきた。仮にf(n,p)=0とする。
・実数xとyを使ってf(x,y)を解析すると0にはならないことがわかったので、矛盾
みたいな話なのかもしれない
まぁ伝える気がないみたいだからアレだけど...