How do you solve the system #x = 5 - y# and #3y = 3x + 1# by substitution?