typo in arithmetic/natp-posp.lisp
Merge pull request #320 from nadezhin/master

typo in arithmetic/natp-posp.lisp

Thanks for the fix and pull-request Dmitry!