consider the following theorem, when $R$ is a commutative ring with a non-zero identity:

**A ring $R$ is zero-dimensional if and only if $\mbox{Spec(R)}$ is Hausdorff.**

The proof uses the Axiom of Choice. So, I am wondering if this theorem is equivalent to the Axiom of choice or not.