$\mathbb{Z}_p$ Is a PID with Unique Prime $p$