My Question is how does this proof workout? Unable to understand $m\mid n$ and its relation to $a$ and $b$
$a\equiv\bar a\!\pmod{\!kn}\Rightarrow a\equiv\bar a\!\pmod{\! n};\ $ $(a\bmod kn)\bmod n=a\bmod n.\ $ Congruences persist mod factors of the modulus