El resultado de 1.8.11 y el resultado de 1.8.12 se resumen en el enunciado siguiente: