Prove that p < p+1 for polynomials(with poly_eq and poly_succ)