obtain h | h | h | h := h
z✝ w✝ : ℂ
c : ℝ
z w p : ℂ
h : p.re < z.re ∧ p.re < w.re ∨ p.im < z.im ∧ p.im < w.im ∨ z.re < p.re ∧ w.re < p.re ∨ z.im < p.im ∧ w.im < p.im
⊢ p ∉ re ⁻¹' [[z.re, w.re]] ∨ p ∉ im ⁻¹' [[z.im, w.im]]
case inl
z✝ w✝ : ℂ
c : ℝ
z w p : ℂ
h : p.re < z.re ∧ p.re < w.re
⊢ p ∉ re ⁻¹' [[z.re, w.re]] ∨ p ∉ im ⁻¹' [[z.im, w.im]]

case inr.inl
z✝ w✝ : ℂ
c : ℝ
z w p : ℂ
h : p.im < z.im ∧ p.im < w.im
⊢ p ∉ re ⁻¹' [[z.re, w.re]] ∨ p ∉ im ⁻¹' [[z.im, w.im]]

case inr.inr.inl
z✝ w✝ : ℂ
c : ℝ
z w p : ℂ
h : z.re < p.re ∧ w.re < p.re
⊢ p ∉ re ⁻¹' [[z.re, w.re]] ∨ p ∉ im ⁻¹' [[z.im, w.im]]

case inr.inr.inr
z✝ w✝ : ℂ
c : ℝ
z w p : ℂ
h : z.im < p.im ∧ w.im < p.im
⊢ p ∉ re ⁻¹' [[z.re, w.re]] ∨ p ∉ im ⁻¹' [[z.im, w.im]]