When writing a proof, why do we want to assume a different but equivalent condition given in the proposition?
In proof by induction, what does it mean when condition for inductive step is lesser than the propsition itself?