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