lean_workbook_plus_45750

import Mathlib.Analysis.Complex.Basic

theorem lean_workbook_plus_45750 (x y z a b c : ℝ) (hx : x ≠ 0) (hy : y ≠ 0) (hz : z ≠ 0) (hab : a = (x - y - z) / x) (hbc : b = (y - z - x) / y) (hca : c = (z - x - y) / z) : a * b * c + 4 = a * b + b * c + c * a   :=  by sorry