 reserve n for Nat;
 reserve F for Field,
         p for irreducible Element of the carrier of Polynom-Ring F,
         f for Element of the carrier of Polynom-Ring F,
         a for Element of F;

theorem
   p is non with_roots implies emb p is non isomorphism by Th45;
