Fixato i nomi dei teoremi