Let \(F\) be any ordered field. Let \(F(t)\) ) be the set of Laurent series
$$\varphi=\sum_{i \geq n}^{\infty} a_{i} t^{i}, \quad a_{n} \neq 0$$
where the \(a_{i} \in F\) and \(n \in \mathbb{Z}\) can be positive, zero, or
negative. Define \(\varphi>0\) if its leading coefficient \(a_{n}>0\) in \(F\).
A. show that \(F((t))\) is a field.
B. Show that \(F((t))\) is a non-Archimedean ordered field.
C. An element \(\varphi \in F((t))\) is a square if and only if its order \(n\) is
even and its leading coefficient \(a_{n}\) is a square in \(F\).
D. If \(F\) is Pythagorean, show that \(F((t))\) is also Pythagorean. This gives
another method of constructing Pythagorean non-Archimedean ordered fields.