Can we write an iff relation?

Hey!! :o

We have the following lemma:

Assume that the characteristic of $F$ is $p$ and $p>2$.
Then $(t^m-1)/(t^n-1)$ is a square in $F[t,…