Input (grade 6): If the equality does not hold for a value of a, then p is composite.
Output (grade 6): If the equality does not hold for a value of a, then n is composite (not prime).