 Often, this takes the form of a proof by contradiction in which the nonexistence of the object is proved to be impossible.In contrast, a constructive proof establishes that a particular object exists by providing a method of finding it.A famous example of a nonconstructive proof shows that there exist two irrational numbers "a" and "b" such that formula_16 is a rational number