%== .env ==%
\begin{theorem}
The equation \(a^2 + b^2  = c^2\)
has infinitely many non-proportional
integer solutions.
\end{theorem}