Bau's Conjecture
Consider a^p + b^p + c^p == k [mod n]
Let f(n) be the number of values of k such that the above is never true.
For max (f(n)), n = 2^p + 1