We discuss an application of a topological-numerical method for proving
the existence of a periodic trajectory in a smooth dynamical system in $\mathbb(R)^n$ where
a periodic trajectory is numerically observed. The method is based on the Conley
index theory and rigorous numerics for ODEs and it is a generalization of the method
introduced in . We apply this method to the Rössler equations.