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 theorem of less importance which can be readily deduced from a previous, more notable statement. A corollary could, for instance, be a proposition which is incidentally proved while proving another proposition;[1] it might also be used more casually to refer to something which naturally or incidentally accompanies something else.[2][3]