lean_workbook_plus_28249
ProvedProve that is divisible by for all integers .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_28249 (n : ℕ) (hn : 1 ≤ n) : 16 ∣ (5^n - 4*n + 15) := by sorry
Source
Prove that is divisible by for all integers .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_28249 (n : ℕ) (hn : 1 ≤ n) : 16 ∣ (5^n - 4*n + 15) := by sorry