Input (grade 13): In mathematics a corollary typically follows a theorem.
Output (grade 11): In mathematics a corollary usually follows on from a theorem.