lean_workbook_plus_29678
ProvedShow by induction that is divisible by 13 for all .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_29678 (n : ℕ) : 4^(2*n+1) + 3^(n+2) ≡ 0 [ZMOD 13] := by sorry
Source
Show by induction that is divisible by 13 for all .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_29678 (n : ℕ) : 4^(2*n+1) + 3^(n+2) ≡ 0 [ZMOD 13] := by sorry