Как решить? 6 умножить на корень из двух косинус пи\4 умножить на косинус 7пи\3

Решите задачу:

$6* \sqrt{2}*cos \frac{ \pi }{4} *cos \frac{7 \pi }{3} =6* \sqrt{2} * \frac{ \sqrt{2} }{2} * \frac{1}{2} =3*1=3$

Как решить? 6 умножить ** корень из двух косинус пи\4 умножить ** косинус 7пи\3