互逆定理有哪些?