anteriormente, la prueba implica directamente la verificación