corrected error in bounding lemma for cyclic