. "ovided where n is a positive integer." . . .