theorem :: NUMBER10:18

<=6n+1 1 = {0,1,2,3,4,5,6,7}