Дано, что \(f(x) = 2x^2 + x + 5\).
Верно ли, что \(f(\cos x) = 7 + \cos x - 2\sin^2 x\)?
(Приведи доказательство.)