Сумма положительных чисел есть число положительное