写一个定理 要 他的逆命题是真命题