逆定理的近义词