結果 : saving function can be derived from consumption function