lean_workbook_plus_63038

import Mathlib.Analysis.Complex.Basic

theorem lean_workbook_plus_63038 (x y z t : ℝ) (hx : x < 0) (hy : y < 0) (hz : z < 0) (ht : t < 0) : (t + y - 1) * (x + z - 1) ≤ 0   :=  by sorry