Dôkaz sa robí v dvoch krokoch. V prvom kroku overíš platnosť vzťahu pre najmenšie možné \( n \), obvykle je to \( n=1 \) (v prípade prirodzených čísel). Toto by sa teoreticky dalo urobiť pre ľubovoľné vysoké konečné číslo, čo však stále nevedie k istote, že vzťah platí pre akékoľvek \( n \). Preto v druhom kroku dokážeš, že ak vzťah platí pre nejaké prirodzené číslo \( m \), platí aj pre nejaké prirodzené číslo \( m+1 \).