Prime t-ideals in power series rings over a discrete valuation domain

Let V be an m-dimensional discrete valuation domain. It is known that the power series ring V〚x〛 has t-dimension m. We will show that V〚x1,…,xn〛 has t-dimension 2m−1 for all n⩾2.