Ya probado el lema, el teorema queda demostrado al ser N un conjunto no acotado.