>>554
レフェリーは

だいたい正しそうだが、正しいと保証はできない

と答えているが、それを理解しているにしていいならおっしゃる通り。数学屋はそれを理解したとは言いたくない人種だと俺は思う。