長い直線がパラコンパクトでないことはどのように証明できるのでしょうか?