corollariarum