実数から複素数に全単射写像が構成できないとは。
>>163の考えてる複素数ってどんだけでかいんだ。