え、順列から階乗を定義するのか?