Definition:Non-Zero Natural Numbers