Require Reals.
Require DiscrR.

Lemma ex0: ``1<>0``.
Proof.
  DiscrR.
Save.

Lemma ex1: ``0<>2``.
Proof.
  DiscrR.
Save.
Lemma ex2: ``4<>3``.
Proof.
  DiscrR.
Save.

Lemma ex3: ``3<>5``.
Proof.
  DiscrR.
Save.

Lemma ex4: ``-1<>0``.
Proof.
  DiscrR.
Save.

Lemma ex5: ``-2<>-3``.
Proof.
  DiscrR.
Save.

Lemma ex6: ``8<>-3``.
Proof.
  DiscrR.
Save.

Lemma ex7: ``-8<>3``.
Proof.
  DiscrR.
Save.