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.