つねに正規空間と言えるか?
それとも反例ある?