Go backward to Proof by Case Distinction Go up to Top Go forward to Typical Use

Example

We prove forall x in R: x*x != -1. Take arbitrary x in R.

• If x >= 0, then x*x >= 0.
• If x < 0, then also x*x >= 0.