Verifica del teorema