命題
X を任意の有限集合とする。
X 上の位相は全てAlexandrov位相(>>743)である。

証明
自明である。