13.5.1 互逆命题与互逆定理