Seien s,t ∈ℕ. Es gilt ggT(2s , 2t) = 2min{s,t}
Die Aussage ist wahr.
Beweis: Seien s,t ∈ℕ.
Für s=t ist ggT(2s , 2t) =ggT(2s , 2s) = 2s = 2min{s,t}
weil min(s,s) = s.
Für s≠t ist einer von beiden der kleinere oBdA ist das s.
Also min(s,t) = s.
und 2s ist Teiler von 2s (klar) und von 2t, da s<t also
enthält 2t mindestens so viele Primfaktoren 2 wie 2s .
Und es ist 2s ggT(2s , 2t), weil 2s keinen größeren Teiler als 2s
besitzt.