Por tanto se tiene el siguiente teorema: