Ecco il preambolo così come mi è stato dato…!
Ne faccio un’edizione commentata
`\NeedsTeXFormat{LaTeX2e}
\documentclass[a4paper,12pt,portrait]{report}
\usepackage[latin1]{inputenc}
\usepackage[italian]{babel}
\usepackage[T1]{fontenc}
%\usepackage{graphics}%cancellalo!
\usepackage{graphicx}
%\usepackage{color}
%\usepackage {graphics,color}%cancella questa, aggiungi la precedente
\usepackage{fancyhdr}
%\usepackage{epsfig}%questa proprio a che serve?
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amscd}
\usepackage{amsfonts}
\usepackage{amssymb}
%\usepackage{latexsym}%non serve, probabilmente
%\usepackage{times}
% Costruzione strutture
\theoremstyle{plain}
\newtheorem{teorema}{Teorema}[section]
\newtheorem{corollario}{Corollario}[section]
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposizione}{Proposizione}[section]
%%% Da qui in poi è, perdonami, assurdo.
%
\theoremstyle{definizione}
\newtheorem{definizione}{Definizione}[section]
%
\theoremstyle{osservazione}
\newtheorem{osservazione}{Osservazione}[section]
%
\theoremstyle{esempio}
\newtheorem{esempio}{Esempio}[section]
%
\theoremstyle{dimostrazione}
\newtheorem{dimostrazione}{Dimostrazione}[section]`
Non esistono quegli stili di teorema. Esistono uno stile “definition” e uno stile “remark”. A meno di non definirsi nuovi stili, cosa che non risulta dal tuo preambolo.
Così com’è “amsfonts” dovrebbe essere caricato. Qual è il messaggio di errore?
Ciao
Enrico