Original: The sum of zero and a positive number is positive.
Simplified: The number zero is not a positive number.