I think it would be better to prove the so-called three stepsreverse method.