Den förre är full med teoremer,