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

Proof
Hence the result.