How to prove sin^2(-pi/8)=sin^2((7pi)/8) ?