Realmente es la prueba matemática de que tal objeto existe.