Neem twee getallen en
met
.
Het verschil
is positief, er is dus een natuurlijk getal
met
.
Dan geldt ook dat
; er moet dus een geheel getal
tussen
en
zitten.
Maar dan geldt ook
; we hebben een rationaal getal tussen
en
gevonden.