Definite Integral from 0 to a of Reciprocal of Root of a Squared minus x Squared/Proof 1