"is a natural number greater than one"