Linear Systems Substitutions and Elimination