Y hace prueba de ello lo que se sigue, que es: