ggT (a, b) = c : der größte gemeinsame Teiler (ggT) von a und b ist c. Also teilt c sowohl a, also auch b.