lean_workbook_plus_28104

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Prove that $\forall n\in\mathbb{N}$ $19|7^{6n + 2} + 7^{3n + 1} + 1$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_28104 : ∀ n : ℕ, 19 ∣ 7^(6 * n + 2) + 7^(3 * n + 1) + 1   :=  by sorry

Source