In mathematics, an existence theorem is a theorem which asserts the existence of a certain object. It might be a statement which begins with the phrase "there exist", or it might be a universal statement whose last quantifier is existential. Wikipedia