"P implies thesis (proof) hence it suffices to prove P: (proof of P)" is a completely valid proof step, and is backwards chaining.