constructor
case h.left.right.a
x : ℝ
h12ge : 12 ≤ x
h28le : x ≤ 28
⊢ 0 ≤ 5 ∧ x - 3 ≤ 5 ^ 2
case h.left.right.a.left
x : ℝ
h12ge : 12 ≤ x
h28le : x ≤ 28
⊢ 0 ≤ 5

case h.left.right.a.right
x : ℝ
h12ge : 12 ≤ x
h28le : x ≤ 28
⊢ x - 3 ≤ 5 ^ 2