互逆命题的另一个说法