EXISTENCE THEOREM
In mathematics, the statement that an object exists, even if the means of finding the object are unknown.