Hvad det sednare corollariet beträffar,