Uniformato i contatori dei teoremi