lean_workbook_plus_21183
ProvedProve that is divisible by for all positive integers .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_21183 : ∀ n : ℕ, 7 ∣ (3^(2 * n + 1) + 2^(n + 2)) := by sorry
Source
Prove that is divisible by for all positive integers .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_21183 : ∀ n : ℕ, 7 ∣ (3^(2 * n + 1) + 2^(n + 2)) := by sorry