El argumento anterior se puede extender a una familia finita de abiertos, razonando por inducción (ver más abajo la demostración).