Før vi kan se hvordan han beviste dette må vi finne en måte å representere alle de reelle tallene mellom 0 og 1 på. De kan alle representeres som null, etterfulgt av en uendelig rekke desimaler. For eksempel har vi at (tenk på at ). osv.