How To Prove A Function Has A Zero