Cycle_lemma loading ...