Das Vertauschen || Ersetzen von 7 durch || mit 3 hat ja, abgesehen
von den rationalen Zahlen keine arithmetische Bedeutung.