An obvious one is proof of Fermat's little theorem from Lagrange's theorem.  This has immediate application in public-key cryptography, which computer people will care about.