Todo lo anterior lleva al teorema: