数学の場合、すべて「発明」じゃなくて「発見」だよ。