>>14
n=4の場合の証明を修正しました。