\[\int_{0}^{x}t{J_{\nu-1}}^{2}\left(t\right)\,\mathrm{d}t=2\sum_{k=0}^{\infty}(%
\nu+2k){J_{\nu+2k}}^{2}\left(x\right),\]