定义

可逆性的充分条件

可逆性的递推公式

eg