contestada

in an inductive step of induction proof, what statements can be used to justify a new statement, besides statements known to be true prior to beginning the proof?