Deakstadieđáhus: Proof and computations Helmut Schwichtenberg, Stanley S. Wainer. [electronic resource] /