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