property of bessel's function proof