lean_workbook_plus_69080

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Prove that $2013$ divides (10^(4*165) - 1) / (10^4 - 1).

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_69080 (hn : 0 < 165) : 2013 ∣ (10^(4*165) - 1) / (10^4 - 1)   :=  by sorry

Source