>>476
接空間が純代数的に定義できたことのほうが運がよかったぐらいの気持ちで