>>752
と思いましたが、間違いがありました
これを削除しn=4の場合も加えた証明を投稿しました