Cantor intersection theorem