↑ Sonicka:
Predpokladáš platnosť pre k a za toho predpokladu dokážeš pre k+1 (miesto každého k musíš dosadiť k+1).
Predpokladáš, že 
A máš dokázať, že na základe toho platí aj 
Offline
↑ Sonicka:
Nechť platí
.
To znamená, že můžeš napsat 
Pro 

QED
Offline