cantors intersection theorem