corollariae