>>77
最近の新しい定理なんてそんなもん、実際には出来ないようなことを平然と書いてる