How do you solve by substitution x=y1 and y=42x?