Dimension of Polynomial Rings over a Field