lean_workbook_plus_7745

import Mathlib.Analysis.Complex.Basic

theorem lean_workbook_plus_7745 : ∀ a b c d : ℝ, a + b + c + d = 0 → a^3 + b^3 + c^3 + d^3 = 3 * (a * b * c + b * c * d + c * d * a + d * a * b)   :=  by sorry