A corollary is something that can be figured out from other things. In mathematics a corollary usually follows on from a theorem.