Es posible entonces construir una prueba de