How do you solve 1+3x=7+x?