色んな数学の定理とか発見してもらえ