theorem :: FVALUAT1:11

for x being ExtInt holds -infty < x