So, since alpha is algebraic over F, we can consider the irreducible polynomial of alpha over capital F, say f.
ആൽഫ F-ൽ അൾജിബ്രായിക്ക് ആയതിനാൽ, F ഓവർ ആൽഫയുടെ ഇർറെഡ്യൂസിബിൾ പോളിനോമിയൽ നമുക്ക് പരിഗണിക്കാം.