ADDED: Jacobi symbol