How to prove that #cos^2((4pi)/7)-sin^2((3pi)/7)=cos((6pi)/7)#?