There is a difficulty with this argument : there is nothing to prevent

j = k, but in this case our cancelling pairs ij,kl;kl,jl are not distinct, so the conclusion that w2 - w has to be a multiple of 4 is invalidated.

Find a way out of this.