Another approach, if $S^4$ is abelian, then every subgroup is abelian, but $S^3\leq S^4$ and $S^3$ is the very first and unique (up to isomorphism) non-abelian group. $S^3$ in $S^4$ is $\langle(1234),(12)\rangle$.
Another approach, if $S^4$ is abelian, then every subgroup is abelian, but $S^3\leq S^4$ and $S^3$ is the very first and unique (up to isomorphism) non-abelian group. $S^3$ in $S^4$ is $\langle(1234),(12)\rangle$.