[The cyclization of 2-p-tosyloxymethylene-2-benzyloxymethylene-5-methyl-1-cyclohexanone]