lean_workbook_plus_60981
DisprovedProve that for any p>3 ,13 divides
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_60981 : ∀ p > 3, 13 ∣ (10^(2 * p) - 10^p + 1) := by sorry
Source
Prove that for any p>3 ,13 divides
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_60981 : ∀ p > 3, 13 ∣ (10^(2 * p) - 10^p + 1) := by sorry