. . "If n is a positive integer, then" . .