In mathematics and logic, a corollary is a proposition which can be readily deduced from a previous, already proven proposition. A corollary could be a proposition that is incidentally proved while proving another proposition; it might also be used more casually to refer to something which naturally or incidentally accompanies something else.