existence theorem