关于一个命题及其逆命题的证明及应用举例