A positive integer is of the form 3q + 1