By the previous proposition, there exists a field extension K of F over which f splits completely, right.
മുമ്പത്തെ നിർദ്ദേശമനുസരിച്ച്, എഫ് എന്ന ഫീൽഡ് എക്സ്റ്റൻഷൻ നിലവിലുണ്ട്, അതിന് മുകളിൽ എഫ് പൂർണ്ണമായും വിഭജിക്കുന്നു.