k=1,k=2以外に残りは無限にあるので全てのyで証明できていません

k=3,4,5,6......の場合も、大丈夫です。自明です。