如果一个定理的逆命题能被证明是真命题，那么就叫它是原定理的（    ），这两个定理叫做（    ）。