So, if alpha is algebraic, then there is a nonzero polynomial for which alpha is a root that nonzero polynomial will be in the kernel of phi alpha.
ആൽ ഫ ആൾജിബ്രയിക്ക് ആണെങ്കിൽ , നോൺ ജെറോ പോളിനോമിയൽ  ഉണ്ട്, ഇതിനായി ആൽ ഫ ഒരു റൂട്ടാണ്, നോൺ ജെറോ പോളിനോമിയൽ  ഫൈ ആൽഫയുടെ കേർണലിലായിരിക്കും.