Deakstadieđáhus: Prueba formal de validez