"Concept 1 of corollariolum" . .