[SOLVED] CS newtheorem{theorem}{Theorem}

ewtheorem{theorem}{Theorem}
ewtheorem{conjecture}[theorem]{Conjecture}
ewtheorem{lemma}[theorem]{Lemma}
ewtheorem{proposition}[theorem]{Proposition}
ewtheorem{corollary}[theorem]{Corollary}
ewtheorem{claim}[theorem]{Claim}
ewtheorem{fact}[theorem]{Fact}
ewtheorem{openprob}[theorem]{Open Problem}
ewtheorem{remk}[theorem]{Remark}
ewtheorem{apdxlemma}{Lemma}
theoremstyle{definition}
ewtheorem{definition}[theorem]{Definition}
ewtheorem{example}[theorem]{Example}
ewtheorem{problem}{Problem}

ewenvironment{remark}{begin{remk}

begin{normalfont}}{end{normalfont}
end{remk}}
ewtheorem{sublemma}[theorem]{Sublemma}

%%%%%%%%%%%%%%%%%%%%%%% text macros
ewcommand{etal}{{it et~al. }}
ewcommand{ie} {{it i.e., }}
ewcommand{eg} {{it e.g., }}
ewcommand{cf}{{it cf., }}

%%%%%%%%%%%%%%%%%%%%%%% general useful macros
ewcommand{eqdef}{mathbin{stackrel{rm def}{=}}}
ewcommand{R}{{mathbb R}}
ewcommand{N}{{mathbb{N}}}
ewcommand{Z}{{mathbb Z}}
ewcommand{F}{{mathbb F}}
ewcommand{poly}{{mathrm{poly}}}
ewcommand{polylog}{{mathrm{polylog}}}
ewcommand{loglog}{{mathop{mathrm{loglog}}}}
ewcommand{zo}{{0,1}}
ewcommand{suchthat}{{;; : ;;}}
ewcommand{pr}[1]{Prleft[#1right]}
ewcommand{deffont}{em}
ewcommand{getsr}{mathbin{stackrel{mbox{tiny R}}{gets}}}
ewcommand{E}{mathbb{E}}
ewcommand{Var}{mathop{mathrm Var}displaylimits}
ewcommand{eps}{varepsilon}
ewcommand{one}{mathbf{1}}

%%%%%%%%%%%%%%%%%%%%%%%%%% linear algebra
ewcommand{rank}{operatorname{rank}}
ewcommand{spn}{operatorname{span}}

%%%%%%%%%%%%%%%%%%% macros particular to this course

ewcommand{mathprob}[1]{mathsf{#1}}
ewcommand{SAT}{mathprob{SAT}}
ewcommand{yes}{{sc yes}}
ewcommand{
o}{{sc no}}

ewcommand{class}[1]{mathbf{#1}}
ewcommand{TIME}{class{DTIME}}
ewcommand{NTIME}{class{NTIME}}
renewcommand{P}{class{P}}
ewcommand{NP}{class{NP}}
ewcommand{coNP}{class{coNP}}
ewcommand{BPP}{class{BPP}}
ewcommand{BQP}{class{BQP}}
ewcommand{RP}{class{RP}}
ewcommand{coRP}{class{coRP}}
ewcommand{ZPP}{class{ZPP}}
ewcommand{MA}{class{MA}}
ewcommand{AM}{class{AM}}
ewcommand{Sigmacc}[1]{class{Sigma^p_{#1}}}
ewcommand{Picc}[1]{class{Pi^p_{#1}}}
ewcommand{SZK}{class{SZK}}
ewcommand{PP}{class{PP}}
ewcommand{sharpP}{class{#P}}
ewcommand{IP}{class{IP}}
ewcommand{Ecc}{class{E}}
ewcommand{EXP}{class{EXP}}
ewcommand{NEXP}{class{NEXP}}

ewcommand{SPACE}{class{SPACE}}
ewcommand{NSPACE}{class{NSPACE}}
renewcommand{L}{class{L}}
ewcommand{NL}{class{NL}}
ewcommand{coNL}{class{coNL}}
ewcommand{BPL}{class{BPL}}
ewcommand{RL}{class{RL}}
ewcommand{PSPACE}{class{PSPACE}}

ewcommand{Ppoly}{class{P_{/poly}}}
ewcommand{AC}{class{AC}}
ewcommand{NC}{class{NC}}
ewcommand{ACC}{class{ACC}}

ewcommand{PCP}{class{PCP}}

ewcommand{
egl}{{mathrm{neg}}}
ewcommand{sgn}{operatorname{sgn}}

ewcommand{Enc}{operatorname{Enc}}
ewcommand{Dec}{operatorname{Dec}}

%%%%%%Gates%%%%%%%%
ewcommand{THR}{mathrm{THR}}
ewcommand{MAJ}{mathrm{MAJ}}
ewcommand{AND}{mathrm{AND}}
ewcommand{OR}{mathrm{OR}}
ewcommand{XOR}{mathrm{XOR}}

%%%%%%%Functions%%%%%
ewcommand{EQ}{mathrm{EQ}}
ewcommand{GT}{mathrm{GT}}