Added small prop to cyclic.tex