
\newtheorem{Lemma}{Lemma}[section]
\newtheorem{Corollary}{Corollary}[section]
%\newtheorem{Property}{Property}[section]
\newtheorem{Fact}{Fact}[section]
       \newtheorem{Notation}{Notation}[section]
       \newtheorem{Observation}{Observation}[section]
       \newtheorem{Proposal}{Proposal}[section]
       \newtheorem{Remark}{Remark}[section]
       \newtheorem{Result}{Result}[section]
       \newtheorem{Conjecture}{Conjecture}[section]
       \newtheorem{Claim}{Claim}[section]


\newenvironment{Examplen}
{\begin{Example}%  
\def\p@example{\theexample} \em}%
{{$\phantom{a}$\hfill$\Diamond$}\end{Example}}
\newcommand{\bdef}[1]
{{\small{\bf Definition \ref{#1}}}}
\def\thedefinition{\thesection.\arabic{definition}}
\newtheorem{Definition}{Definition}[section]
\newenvironment{Def}
{\begin{Definition}%  
\def\p@definition{\thedefinition} \em}%
{\end{Definition}}
\def\theproperty{\thesection.\arabic{property}}
\newtheorem{Property}{Property}[section]
\newenvironment{Pty}
{\begin{Property}%  
\def\p@property{\theproperty} \em}%
{\end{Property}}
\newcommand{\bpty}[1]
{{\small{\bf Property \ref{#1}}}}
\def\theproperty{\thesection.\arabic{property}}
\newtheorem{Proposition}{Proposition}[section]
\newenvironment{Ppn}
{\begin{Proposition}%  
\def\p@proposition{\theproposition} \em}%
{\end{Proposition}}
\newcommand{\bppn}[1]
{{\small{\bf Proposition \ref{#1}}}}
\newtheorem{Theorem}{Theorem}
