For each of these p-adically irreducible factors t, we may suppose that x satisfies t and obtain an embedding of F into an algebraic extension of finite degree over Qp.
Για κάθε έναν από αυτούς τους p-αδικά ανάγωγους παράγοντες t, μπορούμε να θεωρήσουμε ότι το x ικανοποιεί το t και να πάρουμε ένα ενσωμάτωμα του F σε μια αλγεβρική επέκταση πεπερασμένου βαθμού πάνω από το Qp.