IsIrred(f: RINGELEM): BOOL
/**/ FFp := NewRingFp(7); /**/ use FFp[x]; /**/ f := x^9+x+1; /**/ IsIrred(f); true