Re: Ambiente proof

Ciao a tutti.
Ho il seguente preambolo in un mio documento:
`% !TEX encoding = UTF-8 Unicode

\documentclass[a4paper,11pt]{article}

\usepackage[italian]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{mathtools}
\usepackage{asmsmath}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{hyperref}`

Ma non riesco ad usare l’ambiente proof:
`\begin{proof}
\end{proof}`

Mi da il seguente errore:
`! LaTeX Error: Environment proof undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type H for immediate help.
…

l.51 \begin{proof}

?

! LaTeX Error: \begin{document} ended by \end{proof}.

See the LaTeX manual or LaTeX Companion for explanation.
Type H for immediate help.
…

l.52 \end{proof}

? `

Aggiungi il pacchetto amsthm

Ciao
Enrico

Grazie!
Ma non è già compreso in mathtools?