>>670

誘導にみえないといいましたが、
x=k　とみて、
（２）をつかって、
はさみこむと簡単に処理できますね。
不自然な誘導だとはおもいますが。