>>312
p, y のほかに n, m とたくさんの変数を定義なしに述べられても困ります
もし >>311 の記述に必要な事項だったら、そこに書いていただかないと困ります。
それが証明というものではないでしょうか？