倒推的方法在证明全称断言时不是非常有用的