Primitive of Reciprocal of x by a x + b/Proof 1