In this paper we derive a general criterion which can be used for the discovery with the use of a computer of closed orbits of systems of ordinary differential equations. We apply this criterion to the Lorenz model and show rigorously the existence of a closed orbit for the case under consideration. In a subsequent paper we shall show how the stable manifold of this orbit determines the boundary of the stochastic attractor.