Let {Yt} be a stationary process with mean zero, and let a and b be constants. If Xt = a + bt + st + Yt, where st is a seasonal component with a period of 12, show that ∇∇12Xt = (1 - B)(1 - B12)Xt is stationary and express its autocovariance function in terms of that of {Yt}.