Odd-cycle naive-dimension conjecture. The cyclic interval lemma holds for every odd mmm; consequently,
