Existence and uniqueness theorem khan