xkcds - I mean, if it’s that easy to get a theorem named for you...