Spanish Hotel Theorem