2016-04-10 Archiv

Two kinds of proof.

Conference:

Simple induction on .

Journal:

By induction on .
... [a whole page] ...
QED.