距離空間がパラコンパクト、の証明は順序数を使うと瞬殺