Corollary seems somewhat ambiguous here; but if there is some technical meaning.

Similar questions and discussions