Prueba formal de validez.