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.