theorem Th66: :: MEASUR12:66

for F being FinSequence of ExtREAL holds
( ( F is without-infty implies Sum F <> -infty ) & ( F is without+infty implies Sum F <> +infty ) )