Your argument is indeed not new; I was just somewhat surprised to see "corollary: <general statement>" mean "this is a corollary of <general statement>" instead

Your argument is indeed not new; I was just somewhat surprised to see "corollary: <general statement>" mean "this is a corollary of <general statement>" instead of "<general statement> is a corollary of this". I see that you meant the first. EDIT: sorry if this sounds unnecessarily snippy; I honestly wondered if you meant the second.