The Eisenstein irreducibility criterion, fundamental theorem of algebra