Quotient by an Irreducible Polynomial Is a Field