125376341domain: NPropertiesPrimalityPrimeyesAppears in sequencesCoefficient of x in the reduction by (x^2->x+1) of the polynomial p(n,x) defined below at Comments.at n=25A192923Prime numbersat n=7130350