>>71
n=4の場合の証明を追加しました。