Aus der Identität $$ F_{n+1} - 2 = F_n ( F_ n-2) $$ kann man mit vollständiger Induktion leicht ableiten das gilt
$$ F_{n+1} - 2 = \prod_{k=0}^n F_k $$
Damit gilt für \( m > n \) das \( F_n \) die Zahl \( F_m-2\) teilt.
Damit gilt
$$ ggT(F_m,F_n) = ggT(F_m-(F_m-2),F_n) = ggT(2,F_n) $$ Und da \( F_n \) immer ungerade ist,, folgt \( ggT(2,F_n) = 1 \), also sind \( F_m \) und \( F_n \) teilerfremd.