existence and uniqueness theorem