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