Primitive of Sine of a x squared by Cosine of a x squared/Proof 1