Description: Strict dominance of a set over a natural number is the same as dominance over its successor. (Contributed by Mario Carneiro, 12-Jan-2013) Avoid ax-pow . (Revised by BTernaryTau, 4-Dec-2024) (Proof shortened by BJ, 11-Jan-2025)