Template:InductiveProof

This is the 'InductiveProof' template. It should be called in the following format:

Edit the page to see the template text.