Differencing Removes a Simple Unit Root