Sei \(R\) ein nicht notwendig assoziativer Ring der Charakteristik \(0\) (d.h. für ganze Zahlen \(i\) und \(r\in R\) folgt aus \(ir = 0\) stets \(i=0\) oder \(r= 0)\) und \(1<n\) eine natürliche Zahl. Es wird gezeigt: Gilt in \(R\) das Potenzgesetz \((xy)^n =x^ny^n\), so ist \(R\) assoziativ und kommutativ.