逆定理

[nì dìng lǐ]