Tenemos el siguiente teorema.