In mathematics and logic, a corollary 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; it might also be used more casually to refer to something which naturally or incidentally accompanies something else.

ഒരു പ്രമേയത്തിന്റെ (proposition) ഫലമായി കിട്ടുന്ന മറ്റൊരു പ്രമേയമാണ് അനുനിയമം അഥവാ ഉപപ്രമേയം.മുൻപേ തെളിയിച്ച ഒരു ഫലത്തിന്റെ സത്വരഅനന്തരഫലമാണ് അനുനിയമം. അനുനിയമങ്ങൾ സാധാരണയായി സങ്കീർണ്ണങ്ങളായ സിദ്ധാന്തങ്ങൾ പ്രയോഗിക്കാനും ഉപയോഗിക്കാനും എളുപ്പമായ ഭാഷയിലാണ് വിവരിക്കുന്നത്. ഗണിതശാസ്ത്രത്തിൽ ഒരു സിദ്ധാന്തത്തെ തുടർന്നാണ് സാധാരണയായി ഉപപ്രമേയം വരുന്നത്. പ്രമേയംB പ്രമേയംA യുടെ ഉപപ്രമേയം ആവണമെങ്കിൽ Aയിൽ നിന്നും Bയെ അനുമാനിച്ചെടുക്കാൻ സാധിക്കണം. ചില സമയങ്ങളിൽ ഉപപ്രമേയത്തിന് തെളിവുകൾ നൽകാറുണ്ട്.അത് അനുമാനത്തെ വിവരിക്കുന്നതാവാം.ചിലപ്പോൾ ഈ തെളിവ് സ്വയം സ്പഷ്ടങ്ങളും ആകാം.