Theoretical proof of neptune

I was wondering if anyone could show the mathematical proof that leverrier and Adam's useful to predict the existence of neptune?