>>107
それは(未証明の)数学定理じゃね?
機械に探させることで出てくる定理はまだまだあるかもしれんね