. . "x = 8k where k is an integer.." . .