Corollary
In mathematics and logic, a corollary (US: /ˈkɒrəˌlɛəri/, KORR-ə-lair-ee; UK: /kəˈrɒləri/, kər-OL-ər-ee) 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.