ByNobleID
    static theorem | NobleID