Best martial art for wrestling?


I have a 9-yr old son. He's been wrestling a while and is fairly advanced for his age. Some of his teammates have been doing judo and jiu jitsu in the off-season and he has expressed a similar interest. Would appreciate any opinions on what is the best martial art for wrestlers (judo, jiu jitsu, or other?)

Fom my Experience

I was doing jiu jitsu before my senior year, and it helped me out a lot on my bottom work and definatley in my scrambling and takedown defense.