  In this paper a theorem is derived in order to provide a wide sufficient
condition for an orthogonally transitive cylindrical spacetime to be
singularity-free. The applicability of the theorem is tested on examples
provided by the literature that are known to have regular curvature invariants.
