>>679
多変数複素関数論ではプロでも
集合論ではそうではない
ということはざらにある