272 

   272 

   273 \newtheorem{theorem}{Theorem}

   273 \newtheorem{theorem}{Theorem}

   274 \newtheorem{lemma}{Lemma}

   274 \newtheorem{lemma}{Lemma}

   275 \newtheorem{definition}{Definition}

   275 \newtheorem{definition}{Definition}

   276 \newtheorem{conjecture}{Conjecture}

   276 \newtheorem{conjecture}{Conjecture}

   277 %proof

   280 %proof

   278 

   281 

   279 

   282 

   280 \newcommand\sflat[1][]{\textit{sflat} \, #1}

   283 \newcommand\sflat[1][]{\textit{sflat} \, #1}

   281 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}

   284 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}