Existence theorem