>>153
概要はあります。

今n≧5のときにもn=1の証明と同じ方法により6行で矛盾が導くことができることが判明しました