cos7xcos13x=cosxcos19x

если честно я и формулу знаю какую приминить,только вот одно не помню...куда деть (1./2-ые?)
 вот застряла)))))))))))
1/2(cos(7x+13x)+cos(7x-13x)=1/2(cos(x+19x)+cos(x-19x)=

1/2(cos20x+cos6x)-1/2(cos20x+cos18x)=0
Можно сокращать/.??