Any Corollary (as I shall use the term) would be a proposition deduced directly from propositions already established without the use of any other construction than one necessarily suggested in apprehending the enunciation of the proposition; and any such proposition would be a Corollary.
http://www.commens.org/dictionary/entry/quote-sketch-dichotomic-mathematics-7