A numerical approach to Hilbert's 16th problem, which is to bound the
number of limit cycles in a plane polynomial direction field, leads to the
need to justify the numerical solutions.This could be done by using the
approximate solutions to prove the existence of nearby exact solutions.
A way to do this is shown.