[to sth; of sth
To illustrate, let us state the following corollary.
That (2) implies (1) is the content of Corollary 3.
This corollary calls for some explanation and comment.
The rest of the proof goes through as for Corollary 2, with hardly any changes.
The significance of this fact for our purposes is captured by Corollary 3.