Corollaries follow from something immediately before them. That is they result from a simple application of what was proved.