Modeling with first-order ODEs, Basic theory of systems of first order linear equations