Cómo sintetizar diciclododeceno a partir de ciclohexanol

El ciclohexanol se trata con TsOH para obtener ciclohexeno, que se oxida con ácido peracético para obtener 1,2-epoxiciclohexano. La consulta de información relevante muestra que el etanol se trata con PBr3 para obtener bromuro de etilo y se agrega polvo de Mg a reflujo para obtener reactivo de Grignard de etilo. Se deja caer 1,2-epoxiciclohexano en el reactivo de Grignard de etilo en reflujo para obtener 1-etilciclohexanol. bajo la acción de ácido sulfúrico concentrado (se generan preferentemente más dobles enlaces sustituidos) para obtener el producto.