反例出される前に
予想に名前つけとけ。