na-agafe n'okpuru na mgbe ahụ zaa ajụjụ mgbe e mesịrị na otu asụsụ dị ka agafe: N'ụzọ a, njirimara 1 = 0.999... na 1 = 1.000... na-egosipụta, n'otu n'otu, eziokwu ahụ bụ na 1 dị na abụọ [0, 1] na [1, 2], ya mere, mmadụ nwere ike ịhọrọ ma ọ bụ subinterval mgbe ịchọta ya digits. Iji hụ na nke a notation adịghị n'ụzọ na-ezighị ezi na-eji "=" ihe ịrịba ama, otu onye kwesịrị a ụzọ iji wughachi a pụrụ iche n'ezie nọmba maka onye ọ bụla ntụpọ. Nke a nwere ike mere na ókè, ma ndị ọzọ rụrụ na-aga n'ihu na ịtụ isiokwu. Otu n'ụzọ kwụ ọtọ nhọrọ bụ nested etiti theorem, nke na-ekwe nkwa na e nyere a usoro nke nested, mechiri emechi etiti onye ogologo-aghọ arbitrarily obere, na etiti nwere kpọmkwem otu n'ezie nọmba na ha intersection. Ya mere b0.1b2b3... a kọwara na-abụ ihe pụrụ iche nọmba ẹdude n'ime ma ndị [0, 1b0b] na [0, 1
nọmba pụrụ iche