6.2a solving systems by substitution