Gruppo Utilizzatori Italiani di TeX
Per inserire teoremi e definizioni io uso:
\usepackage{amsthm}
Questo dovresti trovarlo senza alcuna difficoltà!