Configurato cref con nomi dei teoremi