Hacker News Reader

I'm not sure what the author thinks 'corollary' means here. (Something to do with correlation? Not the definition I'm used to, anyway.)

A proposition that is logically derived from one already proved, usually immediately before.