Wie wäre es denn, wenn die B nach einer durch ihre Form bestimmten Methode aus ρ abgeleitet (oder ausgeschlossen) werden könnten? So daß man also für A jedes gegebene A die entsprechende Rechnung ohne weiteres
ausführen
machen
könnte (wie für jede beliebige Multiplikationsaufgabe ihre Kontrolle).