Expand XtXt′ into products of the independent mean-zero signs. Each increment is the sum of two monomials, at and at−2at−1. At distinct times, no monomial from one increment has exactly the same set of sign indices asamonomial from the other. Every product therefore contains at least one sign to an odd power, whose average is zero. Hence
This argument covers overlapping driver sets at separations one and two, not just the disjoint case at larger separation. At equal times the value is 2, so the complete autocovariance is 2δtt′. It establishes absence of second-order serial correlation, not independence of returns.