I want to highlight my proposition and i don't need the enumeration for now.
The source file is the following:
\usepackage{amsmath, amssymb, amsthm}
\begin{document}
\begin{theorem}
... bla bla bla, not so interesting ...
\end{theorem}
\end{document}
To compile I use pdflatex, and the reported error is "Environment theorem is undefined".
You have to know that I'm sure that the other math packages are installed (amsmath, amssymb), and secondly my proposition isn't highlighted in the final document.
EDIT:
For highlighting, I wish that the reader can understand almost without reading that a block of text is a theorem, a proposition, and so on... So, what I want is for example, that all the propositions have the same style, all the theorems have the same style (but different from the style of the propositions). And I think that using this package is fast and handy.

\newtheorem{theorem}{Theorem}or\newtheorem*{theorem}{Theorem}(for unnumbered theorems). – Gonzalo Medina Jul 22 '14 at 16:11