Odd-valuation obstruction to a rational-function square (source code)

= Odd-valuation obstruction to a rational-function square

Every zero and pole of a square in $K(Y)$ has even order. Thus a rational function with a zero or pole of odd order cannot be a square. For characteristic different from two, this proves that $1-Y^2$ is not a square in $K(Y)$.