Step * 1 1 of Lemma rneq-iff-rabs


1. : ℝ
2. : ℝ
3. x ≠ y
⊢ (r0 < (x y)) ∨ (r0 < -(x y))
BY
(-1) }

1
1. : ℝ
2. : ℝ
3. x < y
⊢ (r0 < (x y)) ∨ (r0 < -(x y))

2
1. : ℝ
2. : ℝ
3. y < x
⊢ (r0 < (x y)) ∨ (r0 < -(x y))


Latex:


Latex:

1.  x  :  \mBbbR{}
2.  y  :  \mBbbR{}
3.  x  \mneq{}  y
\mvdash{}  (r0  <  (x  -  y))  \mvee{}  (r0  <  -(x  -  y))


By


Latex:
D  (-1)




Home Index