Consider the polynomial $P(x) = x^n + a_{n-1}x^{n-1} + \dots + a_0$. If $P(x)$ has all roots on the unit circle, what must be true about $|a_0|$?