Cantor's intersection theorem