\documentclass{amsart}
\usepackage[american,greek]{babel}
\usepackage[iso-8859-7]{inputenc}
\usepackage{amssymb}
\newcommand{\sg}{\selectlanguage{greek}}
\newcommand{\sa}{\selectlanguage{american}}
\newtheorem{theorem}{Θεώρημα}[section]
\newtheorem{lemma}{Λήμμα}[section]
\newtheorem{protash}{Πρόταση}[section]
\newtheorem{orismos}{Ορισμός}[section]

\begin{document}
\begin{theorem}
Η αλγεβρική καμπύλη $x^n+y^n+z^n=0$
δεν έχει $\mathbb{Q}$ ρητά σημεία για $n \geq 3$
\end{theorem}
\begin{proof}
Να συμπλήρωσετε την απόδειξη εδώ...
\end{proof}


\end{document}
