Primitive of Cosine Function/Proof 2