Simple proof of Cauchy's theorem in Group theory

"The only exception occurs when a 5-tuple is of the form $(a,a,a,a,a)$ with all its components equal; it is equivalent only to itself."

This breaks if $p = 6$, for example: $(a, a, b, a, a, b)$. But even then:

"there must be a 5-tuple $(a,a,a,a,a)\neq (e,e,e,e,e)$ such that $aaaaa=a^5=e$. Thus, there is an element $a\in G$ of order 5."

This also breaks if $p = 6$: there are plenty of groups $G$ with non-identity elements $a$ such that $a^6 = e$ because $a$ has order 2 or 3 (consider $C_2$ or $C_3$ and a non-identity element).