Verifikation der Kommutativ- und Assoziativgesetze bei ganzzahligen Operationen