結果 : recursive definition using function notation