Another proof of Kasami's theorem (Q1963160)

The authors give a short direct proof for the following theorem: For \(d=2^{2k}-2^k+1\) the Walsh spectrum of Tr\((x^d)\) on GF\((2^n)\) consists precisely of the three values \(0,\pm 2^{(n+s)/2}\), where \(s=gcd(k,n)=gcd(2k,n)\). They give the proof for case \(s=1\). The hard work consisting of elaborate but straightforward calculations is somewhat hidden in what the authors call the tricky part (i.e. the proof of Claim 2). The calculations are left to the reader. The case \(s>1\) should be essentially the same according to the authors but according to me the so called tricky part becomes even more tricky and the least thing the authors could have done is pointing out what the essential differences for this part are.