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