MathNet 2025-part-02 — 186 problems (EN–VI) Question 94

Let $a \gt b$ be odd positive integers and $k$ be a positive integer such that $a^{1001} + k$ and $b^{1001} + k$ are powers of $2$. Prove that $a \gt b^{1001} + k$.