Caricare cleveref prima di amsmath e dopo le definizioni di nuovi stili di
teorema.