En concreto, el teorema dice lo siguiente: