Addition theorem for Bessel functions