Primitive of Square of Cosine Function/Proof 3