Luego existe una conclusión, una afirmación matemática, la cual es verdadera bajo las condiciones dadas.