Reto 16: Para todo n ∈ N, n(n+1)(2n+1) es divisible por 6
Demostrar que para todo \(n \in ℕ\), \(n(n+1)(2n+1)\) es divisible por \(6\).
Para ello, completar la siguiente teoría de Lean 4:
import Mathlib.Tactic variable (n : ℕ) example : 6 ∣ n * (n + 1) * (2 * n + 1) := by sorry