Неравенство. «Докажите, что для любого x справедливо неравенство cos*(10+x)*sinx>sin*(10+x)*cosx»

Звездочек много наляпала. Я понимаю, что должно быть так:
cos(10+x)*sinx>sin(10+x)*cosx, или
sin(10+x)*cosx - cos(10+x)*sinx < 0, или
sin(10+x-х) < 0, или sin10 < 0, что, конечно же, верно, т. к. 3п < 10 < 4п, а в этом промежутке синус отрицателен.