证明“若P则q”正确,则“若非q则非P”正确