Reading an old edition of Burton's number theory text, I come to this corollary in chapter 13:
In the Fibonacci sequence, $u_m \mid u_n$ if and only if $m \mid n$ for $m \ge 2$
The proof seems to be:
$u_m \mid u_n \implies \gcd(u_m,u_n)=u_m=u_d$ with $d=\gcd(m,n)$ by Theorem 13-3. Thus $m=d=gcd(m,n)$ and $m\mid n$
Conversely, $m|n \implies u_m | u_n$ by Theorem 13-2
This seems valid to me. However, If true, it seems
$1 | 2 \implies u_2 | u_3 \implies 2|3$ which is absurd.
I'm not sure where the mistake is. Should it perhaps be $m > 2$ in the corollary but then why?