842	 A Posteriori Bounds on a Zero of a Polynomial Algorithm
