solving linear systems with substitution