ByNobleID
    A nagumo type result for linear dynamical systems | NobleID