Úgy lehetne talán ezt szépen megfogalmazni, hogy a 000... sorozat elemei és a Sum[1...oo](1) sor részösszegei között bijekció létezik.

Mégis, "aktualizálva", definit módon tekintve ezekre, az egyik nem létezik, a másik igen.