訂正>>335
>Z_l^{n+1}Z←Z/l^nZ
正しくは、Z/l^nZ←Z_l^{n+1}Z