lean_workbook_plus_30811

Proved

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

Prove that, for any positive integer $a,b,c,d$ , 12 divides $(a-b)(b-c)(c-d)(d-a)(b-d)(a-c)$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_30811 (a b c d : ℕ) : 12 ∣ (a - b) * (b - c) * (c - d) * (d - a) * (b - d) * (a - c)   :=  by sorry

Source