数学オリンピックという状況証拠