Sa presupunem ca cel mai mare divizor comun al numerelor n si n+1 nu este 1. Din aceasta presupunere rezulta ca n | n+1 .
Dar : n|n(deoarece orice numar se divide pe el insusi)
Daca le scazi pe cele doua iti va da ca n|1, iar din asta rezulta ca presupunerea noastra a fost falsa , iar cel mai mare divizor comun al numerelor n si n+1 va fi 1.
