Ny safidy tsotra iray dia ny teoreman'ny elanelam-potoana voatokana, izay miantoka fa raha omena ny filaharan'ny elanelam-potoana mihidy izay lasa kely ny halavany, ny elanelam-potoana dia misy isa tena izy iray ao amin'ny fifandimbiasan'izy ireo. Noho izany b0.1b0.2b3b... dia voafaritra ho ny isa tokana misy ao anatin'ny elanelam-potoana rehetra [b0, b0 + 1b], b0.1b1, b0.1b, b0.1b + 0.999b] ary ny elanelam-potoana tsirairay dia mety ho voafaritra mivantana amin'ny elanelam-potoana tsirairay avy. [b0, b1b] Ny famaritana ny elanelam-potoana tsy manam-paharoa amin'ny elanelam-potoana tsirairay dia mety ho voafetra amin'ny elanelam-potoana tsirairay avy. [b0, b1b] Ny famaritana ny elanelam-potoana tsy manam-paharoa amin'ny elanelam-potoana tsirairay dia mety ho voafetra amin'ny elanelam-potoana tsirairay avy. [b0, b1b] Ny
ny isa tokana