Theorem T57 Let FnF_nFn be the Fibonacci numbers. Then gcd(Fm,Fn)=Fgcd(m,n)\text{gcd}(F_m, F_n) = F_{\text{gcd}(m, n)} gcd(Fm,Fn)=Fgcd(m,n) notation-gcd