lean_workbook_plus_36696
ProvedProve that is divisible by for without using induction.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_36696 : ∀ n ≥ 2, 6 ∣ n * (n + 1) * (n + 2) := by sorry
Source
Prove that is divisible by for without using induction.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_36696 : ∀ n ≥ 2, 6 ∣ n * (n + 1) * (n + 2) := by sorry