How do you solve y=x+3 and x4y=0 using substitution?