. . "choice because we know that, where n is a positive integer." . .