互逆命题与互逆定理