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