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.