Benutzer:Tanik/Lucas-Lehmer-Test für Mersennezahlen/Lemma2

${}U_{k}\,$ und ${}V_{k}\,$ haben höchstens ${}2Q^{k}\,$ als gemeisamen Teiler, sprich ${}ggT(U_{k},V_{k})$.