> newtheorem{theorem}{Theorem}[section]
> newtheorem{proposition}[theorem]{Proposition}
> newtheorem{corollary}[theorem]{Corollary}
> newtheorem{lemma}[theorem]{Lemma}
> newtheorem{algo}[theorem]{Algorithm}