What's substitution for:
X=y-7
X+8y=2