長い直線は多様体の公理のうち、第二可算公理以外の全ての公理を満たす。