Deakstadieđáhus: How to prove it.