%!TEX encoding =  UTF-8 Unicode

%-------- newtheorem ----------

\usepackage{amsthm}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem*{theorem*}{Theorem}
\newtheorem{itheorem}{Theorem}
\newtheorem{thdef}[theorem]{Theorem and definition}
\newtheorem{ithdef}{Theorem and definition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{scholion}[theorem]{Scholion}
\newtheorem*{icorollary}{Corollary to Theorem~\ref{ithGOEntrelGRL}}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{propdef}[theorem]{Proposition and definition}
\newtheorem{plcc}[theorem]{Concrete local-global principle}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{theoremc}[theorem]{Theorem\etoz}
\newtheorem{lemmac}[theorem]{Lemma\etoz}
\newtheorem{corollaryc}[theorem]{Corollairy\etoz}
\newtheorem{propositionc}[theorem]{Proposition\etoz}
\newtheorem{factc}[theorem]{Fait\etoz}
\newtheorem{atheorem}{Theorem}[section]
\newtheorem{alemma}[atheorem]{Lemma}
\newtheorem{acorollary}[atheorem]{Corollary}
\newtheorem{aproposition}[atheorem]{Proposition}
\newtheorem{apropdef}[atheorem]{Proposition and definition}
\newtheorem{afact}[atheorem]{Fact}
\newtheorem*{Principleofcoveringbyquotients}{Principle of covering by quotients}
\theoremstyle{definition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{idefinition}{Definition}
\newtheorem{inotation}[idefinition]{Notation}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{definitions}[theorem]{Definitions}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{definota}[theorem]{Definition and notation} 
\newtheorem{convention}[theorem]{Convention}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{question}[theorem]{Question}
\newtheorem{definitionc}[theorem]{Définition\etoz}
\newtheorem{adefinition}[atheorem]{Definition}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{remarks}[theorem]{Remarks}
\newtheorem{comment}[theorem]{Comment}
\newtheorem{comments}[theorem]{Comments}
\newtheorem{example}[theorem]{Example}
\newtheorem{examples}[theorem]{Examples}

\renewcommand\theitheorem{\Roman{itheorem}}
\renewcommand\theithdef{\Roman{ithdef}}
\renewcommand\theidefinition{\Roman{idefinition}}











