Real cosine function/One zero between 0 and 2/Fact

The cosine function

has, within the

real interval ${}[0,2]$, exactly one

zero.

Proof, Write another proof