finish existence proof and start uniqueness