Theorem Cycle.length_nontrivial

Modification history