Matematická indukce: Porovnání verzí