ByNobleID
    Commutativity theorems of Outcalt-Yaqub type | NobleID