Template:DichotomyProof

This is the 'DichotomyProof' template. It is meant to prove statements of the form 'A OR B', using a proof of the form 'NOT A IMPLIES B'. It should be called in the following format:

Edit the page to see the template text.