Prove that cos(sin inverse x) = square root ( 1-x^2)