一次関数の計算結果を別の一次関数に代入する場合、１個の一次関数になることの証明

$${y=ax+b}$$および$${y'=a'x'+b'}$$が存在し、$${y=x'}$$であるとする。