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