for x being ExtInt holds -infty < x