Brauer ppp-dimension conjecture. Then
Tensor-product embedding conjecture. The algebra R~\widetilde RR is KKK-isomorphic to