Stav dette: Prueba formal de validez