Existence_theorem