What is wrong with my proof of group order?

Question

Let $\phi: G\rightarrow H$ be an isomorphism of groups and let $a \in G$ be of order $n$. Show that the order of $\phi(a)$ is also $n$.

I was given this problem a week ago during a quiz and my following answer has been graded as "partially" correct lately. Despite checking my proof for a decent time, I could not figure out why my proof cannot be considered as "fully" correct so I have decided to ask it in here with my proof.

Proof:

$a\in G$ is order of $n$ $\Rightarrow$ $a^n=e_{g}$

$a^n=e_g \Rightarrow \phi(a^n)=e_{h}$

$\phi(a^n)=(\phi(a))^n \Rightarrow (\phi(a))^n=e_h$

Now assume that there exist a $k<n$ such that $(\phi(a))^k=e_h$ and $k$ is order of $\phi(a)$

$(\phi(a))^k=e_h \Rightarrow (\phi(a))^n=(\phi(a))^{mk+r}=(\phi(a))^r=e_h$

$(\phi(a))^r=\phi(a^r)=e_h \Rightarrow a^r \in \ker\phi$

$a^r \in \ker\phi \Rightarrow a^r=e_g$

$a^r=e_g$ and $r<k \Rightarrow a $ is order of $r$

This is obviously a contradiction hence order of $\phi(a)$ must be $n$

Answer 1

The problem is that, if $k$ divides $n$, you end up with $\big(\phi(a)\big)^0=e_h$, which is trivially true, because $b^0=e_h$ for all $b$

Answer 2

In addition to @Evaristos answer here the completion/correction:

Let $k = \operatorname{ord} φ(a)$. Since $e_h = φ(e_G) = φ(a^n) = φ(a)^n$, $n \geq k$. $φ(a^k) = φ(a)^k = e_h$. Since $φ$ is bijective and $φ(e_h) = e_G$, we get $a^k = e_G$. Hence $n | k$ but with $k \leq n$ we have $n = k$.