lean_workbook_plus_57055

Proved

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

Given that $m+n$ is divisible by $13$ , prove that $m^3 + n^3$ is also divisible by $13$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_57055 (m n : ℤ) (h : 13 ∣ (m + n)) : 13 ∣ (m^3 + n^3)   :=  by sorry

Source