Cosine/R/Addition theorem/Power series direct/Fact/Proof