Corollary

In mathematics and logic, a corollary (US: , ; UK: , ) 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.