now, if you remember that problem, and even just to do that problem, when we thought about this statement, such that the trace of a is not divisible by p, we figured out that this was exactly equal to saying that a does not equal 0.