  The Specht ideal of shape $\lambda$, where $\lambda$ is a partition, is the
ideal generated by all Specht polynomials of shape $\lambda$. Haiman and Woo
proved that these ideals are reduced and found their universal Gr\"obner bases.
In this short note, we give a short proof for these results.
