Show that if integer $a$ has multiplicative order of $hk$ modulo $n$, then $a^h$ has order of $k$ modulo $n$.