Specht Modules Form the Complete Set of Irreducible Representations of $S_n$