How is a corollary related to a theorem