Description: 6 is a nonnegative integer. (Contributed by Mario Carneiro, 19-Apr-2015)
|- 6 e. NN0
|- 6 e. NN