by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)
Given n>2 . Prove that : 2n−1=3q With q is positive integers. Suppose,there exist 2n=3q+1 for n>2 . Now, v2(3q+1)=v2(4)+v2(q)⇒v2(2n)=2+v2(q)⇒n=2+v2(q)⇒n−2=v2(q)⇒2n−2∣q . so we assume q=t.2n−2 . so, (32n−2)t+1>22n−2>2n−2 for n>2 . So,no solution.