直接证明

假定这个蕴含式的前件为真，证明后件也为真就可以了