Nejprve dosadíš za \( n \) jedničku a otestuješ, zda spočtená hodnota je dělitelná šestkou. Napíšeš si indukční předpoklad tak, že nahradíš proměnnou \( n \), proměnnou \( k \). Tím říkáš, že pro nějaké konečné \( k \) a všechna menší přirozená čísla platí zadaná dělitelnost. Potom dokážeš, že pokud je dělitelný výraz pro \( k \), pak je dělitelný šestkou i pokud za proměnnou \( n \) dosadíš výraz \( k+1 \). Tím je důkaz dokončený.