直観で発見し
論理で証明する