Pentru ca reuninunea lui A cu Z sa nu fie multime vida trebuie sa existe cel putin un element intreg in A iar pentru ca diferenta dintre cel mai mare numar din A (b) si cel mai mic(a) este mereu mai mare decat 1 rezulta ca exista cel putin o valoare intreaga
b-a >=1 => exista un numar intreg in A =[a,b] => A reunit cu Z diferit de multime vida