Corollary is a theorem which we find easily in examining 
another theorem just found. The word is of Latin
origin; a more literal translation would be "gratuity" or
"tip".