Update non-negative.md