Re: ambiente proof

`\documentclass[a4paper]{article}
\usepackage[italian]{babel}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\newtheorem{definizione}{Definizione}
\newtheorem{teorema}{Teorema}
\newtheorem{proposizione}{Proposizione}
\usepackage{graphicx}
\usepackage{amsfonts}% per usufruire di mathbb{}%
\usepackage{amsmath}
\usepackage{amsthm}`

Prova a scrivere quei \newtheorem dopo aver caricato amsthm e non prima. Faresti meglio a scrivere
`\theoremstyle{definition}
\newtheorem{definizione}{Definizione}

\theoremstyle{plain}
\newtheorem{teorema}{Teorema}
\newtheorem{proposizione}{Proposizione}`
Leggi la documentazione di amsthm (o, almeno, il riassunto che ne ho fatto nella guida che trovi indicata qui in alto).

Ciao,
L.