The weiland-miescher ketone used for syntheses of steroid hormones (shown below) is produced by robinson annulation of 2-methyl-1,3-cyclohexadione and methyl vinyl ketone. what is the source of the c=c bond in the molecule of the product?