>>560
コンパクトとか局所環とかの定義をベタに書けばそれくらい複雑になるでしょ