 That is, that "there is no smallest rational number greater than 0".For other examples, see proof that the square root of 2 is not rational (where indirect proofs different from the one above can be found) and Cantor's diagonal argument.Proofs by contradiction sometimes end with the word "Contradiction!