>>898から、>>860は末尾再帰であると言える
g(n)x=nx,h(n)x=xと考える