Theorem: Kommutativität des ggT

Seien , dann gilt:

Beweis

Das folgt direkt aus der Definition des ggT: das “logische Und” ist kommutativ.