En efecto, se pueden enunciar y demostrar formalmente estas dos aseveraciones utilizando conceptos matemáticos que fueron desarrollados en el siglo XIX.