>>351
一般論より先に距離空間だけやるなら、その時点では確かめる必要ないって言ってるじゃん