Corollary 1.8.2.23.  Let κ ∈ Crd>1, μ be a cardinal number. Then:
κμ > μ
No proof.