existence and uniqueness of solution