Using Substitution to Find if there is a Solution