El razonamiento es general, por lo que hemos probado que las bolas abiertas de F son la intersección de una bola abierta de E (con igual centro y radio) con el subespacio F.