Primitive of Cosine Function/Corollary 2