Web Analytics
How is corollary related to a theorem