Додати до Chrome
What is the domain of ?
We want to prove by induction that, for all , The base case holds (). Assuming is true, which equality must be proved in the inductive step?
For , the equality holds if and only if: