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 jedes gegebene A die entsprechende Rechnung ohne weiteres machen || ausführen könnte (wie für jede beliebige Multiplikationsaufgabe ihre Kontrolle).