The reversibility of the isomerization of the Δ8 to Δ7 bond in cholesterol biosynthesis