\documentclass{article}[12pt]
\usepackage{times}
\usepackage{amsmath}
\usepackage{psfrag}
\usepackage{graphicx}
\usepackage{epsfig}
\usepackage{wrapfig}
\usepackage[letterpaper,textwidth=470pt,textheight=8.51in]{geometry}
%Included for Gather Purpose in WinEdt only:
%input "h:\unl\bibtex\all.bib"

\setlength{\topmargin}{0.2in} \setlength{\leftmargin}{1.0in}
\setlength{\marginparwidth}{0in} \setlength{\marginparsep}{0in}
\setlength{\oddsidemargin}{0in}
%\usepackage{layout} %show layout with \laout command

\newtheorem{corollary1}{Corollary}
\newtheorem{definition1}{Definition}
\newtheorem{example1}{Example}
\newtheorem{lemma1}{Lemma}
\newtheorem{remark1}{Remark}
\newtheorem{conjecture1}{Conjecture}
\newtheorem{theorem1}{Theorem}
\newtheorem{algorithm1}{Algorithm}

\newenvironment{corollary}{\begin{corollary1} \rm}{\end{corollary1}}
\newenvironment{definition}{\begin{definition1} \rm}{\end{definition1}}
\newenvironment{example}{\begin{example1} \rm}{\end{example1}}
\newenvironment{lemma}{\begin{lemma1} \rm}{\end{lemma1}}
\newenvironment{remark}{\begin{remark1} \rm}{\end{remark1}}
\newenvironment{conjecture}{\begin{conjecture1} \rm}{\end{conjecture1}}
\newenvironment{theorem}{\begin{theorem1} \rm}{\end{theorem1}}
\newenvironment{algorithm}{\begin{algorithm1} \rm}{\end{algorithm1}}
\newenvironment{proof}[1][Proof]{\noindent\textbf{#1.} }{\ \rule{0.5em}{0.5em}}

\begin{document}

\end{document}