I actually wonder how well-known the little theorem is outside of math departments. Or Wilson's theorem, product of all nonzero elements mod p is negative one iff p is prime.
If you think of CS as a distinct area (outside of math) then it is used there a lot. Especially in cryptography (RSA, etc.).