ByNobleID
    Holonomy theorem for finite semigroups | NobleID