逆定理共4篇