Original: If the equality does not hold for a value of a, then p is composite.
Simplified: If the equality does not hold for a value of a, then n is composite (not prime).