逆定理的定义:一般地,如果一个定理的逆命题经过证明是正确的,那么它也是一个定理,称这两个定理互为