逆命题是否成立-模板