lean_workbook_plus_34863
DisprovedFor odd, show that is divisible by 5.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_34863 : ∀ n : ℕ, Odd n → 5 ∣ (4^n + 1) / 5 := by sorry
Source
For odd, show that is divisible by 5.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_34863 : ∀ n : ℕ, Odd n → 5 ∣ (4^n + 1) / 5 := by sorry