§1 指数幂的拓展