>>797
数学者が自分で自分の議論は extremely robust だ、と言うかね?