Method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object