Re:>>354-355 お前は何をしに来た.

複素数空間は順序体ではないが Banach 空間になる.