Template:Natural number property

This article defines a property that can be evaluated for natural numbers