Tvrdenie 4.2.9: Ak a>=alef_0, tak a+alef_0=a. (Bolo tam chybne a+alef_0=alef_0.)