Lemma 10.114.6. Let $k$ be a field. Let $S$ be a finite type $k$-algebra. Let $X = \mathop{\mathrm{Spec}}(S)$. Let $\mathfrak m \subset S$ be a maximal ideal and let $x \in X$ be the associated closed point. Then $\dim _ x(X) = \dim (S_{\mathfrak m})$.

Proof. This is a special case of Lemma 10.114.5. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).