数学辞典に書いてある事実を自力で証明してこそ、数学プロ