lean_workbook_plus_11792
ProvedProve that is divisible by .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_11792 : ∀ n : ℕ, 9 ∣ n^3 + (n + 1)^3 + (n + 2)^3 := by sorry
Source
Prove that is divisible by .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_11792 : ∀ n : ℕ, 9 ∣ n^3 + (n + 1)^3 + (n + 2)^3 := by sorry