ところで0の階乗は1と定義されていなかったっけ?