Gauss's Theorem — Polynomial Rings over UFDs are UFDs