Тэарэма існавання