"corollari+ae" . . . "corollariae" . . . . . . "corollariae" .