Eschenmoser Contraction

Eschenmoser Contraction equation