“…For any pretzel knot p(a, b, c) with a even, the black surface of its standard projection shown in Figure 18 is an algorithmic Seifert Klein bottle with meridian circle m, which has integral boundary slope ±2(b + c) by Lemma 2.1; an algorithmic Seifert surface is always unknotted. By [19], with the exception of the knots p(2, 1, 1) (which is the only knot that has two algorithmic Seifert Klein bottles of distinct slopes produced by the Now let F be the free group on x, y . If w is a cyclically reduced word in x, y which is primitive in F then, by [5] (cf [9]), the exponents of one of x or y , say x, are all 1 or all −1, and the exponents of y are all of the form n, n + 1 for some integer n. Finally, a word of the form x m y n is a proper power in F iff {m, n} = {0, k} for some |k| ≥ 2.…”