2.3.3 可逆的充要条件