Proposition 1.8.1.54.  Let m, n ∈ >1. Then:
No proof.