Definition:Strictly Positive Integer