. . "Etymology of corollario" . . .