lean_workbook_plus_1451

Disproved

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

Prove that $5^2 | 102^{1991} + 103^{1991}$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_1451 : 5^2 ∣ 102^1991 + 103^1991   :=  by sorry

Source