Add P2_lehmer(x, a)