( (a |^ (p - 1)) mod p = 0 * 0 or (a |^ (p - 1)) mod p = 1 * 1 ) by MOP;
hence (a |^ (p - 1)) mod p is square ; :: thesis: verum