 Often a bijection between two sets is used to show that the expressions for their two sizes are equal.Alternatively, a double counting argument provides two different expressions for the size of a single set, again showing that the two expressions are equal.A nonconstructive proof establishes that a mathematical object with a certain property exists — without explaining how such an object are to be found.