. . "n is a positive integer;" . .