Product of Divisors

Theorem
Let $n$ be an integer such that $n \ge 1$.

Let $\map D n$ denote the product of the divisors of $n$.

Then:
 * $\map D n = n^{\map {\sigma_0} n / 2}$

where $\map {\sigma_0} n$ denotes the divisor count function of $n$.