べき乗は原始再帰関数である