Principle Of Strong Induction In Discrete