aha. Immerhin bin ich jetzt soweit, dass Lösungen mir logisch vorkommen.


ernsthaft; das erscheint jetzt klar...

vorher wurde für A~B übrigens definiert:
(a,b)~(a',b') if a+b'=a'+b.

Verwirrt hat mich natürlich, dass wir hier jetzt ein großes "A" haben.