数学者が必要ないとは言わない。だがイヤミで十分